3 ms·
Some quick info for Lean: Homepage: https://leanprover.github.io/ https://leanprover.github.io/ Source: https://github.com/leanprover/lean4 https://github.com
by peter_d_sherman 4y ago
Some quick info for Lean:
Homepage: https://leanprover.github.io/ https://leanprover.github.io/
Source: https://github.com/leanprover/lean4 https://github.com/leanprover/lean4
Wikipedia: https://en.wikipedia.org/wiki/Lean_(proof_assistant) https://en.wikipedia.org/wiki/Lean_(proof_assistant)
- agentultra 4y agoI also wrote a guide: https://agentultra.github.io/lean-4-hackers/ https://agentultra.github.io/lean-4-hackers/
- still_grokking 4y agoLEAN's syntax looks really great. I wish Scala could take some inspiration. Scala's syntax is anyway quite similar already, but would need proper Unicode support and some other "tuning" like the `:=` and the `let monadic ← effect` syntax, imho.