jeremysalwen / lean4

Lean 4 programming language and theorem prover

https://leanprover.github.io/

Geek Repo

Github PK Tool