Lean 4

https://github.com/leanprover/lean4

Lean 4 programming language and theorem prover

Tokens:63,085
Snippets:757
Trust Score:7.8
License:Apache-2.0
Update:1 month ago
Tokens:
Raw