Skip to content

Lean: omit type abbreviations and leave a comment instead#983

Closed
javra wants to merge 1 commit intorems-project:sail2from javra:lean/type_abbreviations
+8-5

Commits

Commits on Feb 12, 2025