Lean 4

https://github.com/leanprover/lean4

Lean 4 programming language and theorem prover

Tokens:70,044
Snippets:866
Trust Score:7.8
License:Apache-2.0
Update:1 week ago
Tokens:
Raw