digama0 / lean4leanLinks

Lean 4 kernel / 'external checker' written in Lean 4
102Updated last week

Alternatives and similar repositories for lean4lean

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

Sorting: