Skip to content

Remove ' and add ⟨⟩ in lean autopairs#10688

Merged
archseer merged 1 commit intohelix-editor:masterfrom ashl3y-v:lean_autopairsMay 5, 2024

Commits

Commits on May 5, 2024