hyperpolyglot
hyperpolyglot copied to clipboard
Add Lean4 Theorem prover syntax
A table based format for commands sorted by purpose seems a good fit for Lean 4's theorem prover syntax.
Resources: https://djvelleman.github.io/HTPIwL/ and https://leanprover-community.github.io/