Skip to content

Lean: support for implicit arguments in function application#955

Merged
bacam merged 1 commit intorems-project:sail2from javra:lean/implicitFeb 6, 2025

Commits

Commits on Feb 6, 2025