leanprover / lean4Links

Lean 4 programming language and theorem prover
5,611Updated this week

Alternatives and similar repositories for lean4

Users that are interested in lean4 are comparing it to the libraries listed below

Sorting: