digama0 / lean4leanLinks

Lean 4 kernel / 'external checker' written in Lean 4
104Updated 2 weeks ago

Alternatives and similar repositories for lean4lean

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

Sorting: