Skip to content

Lean: fix parantheses around negative integer literals#926

Merged
bacam merged 1 commit intorems-project:sail2from javra:lean/negative-int-litsJan 30, 2025
+10-10

Commits

Commits on Jan 30, 2025