Related Repos
Search
⌘K
Feedback
leanprover / lean4-nightly
Nightly builds
☆22
Updated this week
Alternatives and similar repositories for lean4-nightly:
Users that are interested in lean4-nightly are comparing it to the libraries listed below
forked-from-1kasper / ground_zero
Ground Zero: Lean 4 HoTT Library