leanprover / theorem_proving_in_lean4Links

Theorem Proving in Lean 4
181Updated 7 months ago

Alternatives and similar repositories for theorem_proving_in_lean4

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

Sorting: