Skip to content

Lean: support for implicit arguments in function application (#955) #1042

Lean: support for implicit arguments in function application (#955)

Lean: support for implicit arguments in function application (#955) #1042

build (4.08.1, ubuntu-latest)

succeeded Feb 6, 2025 in 5m 51s