search

leanprover-community / lean4-mode

Emacs major mode for Lean 4
https://leanprover.github.io/
Apache License 2.0
64 stars 28 forks source link

Update abbreviations.json #57

Closed github-actions[bot] closed 7 months ago

github-actions[bot] commented 7 months ago

Automated changes by create-pull-request GitHub action