Skip to content

Trending in open source

See what the GitHub community is most excited about this month.

  1. EgbertRijke / sequential_colimits

    Lean • Built by @fpvandoorn @EgbertRijke

  2. htzh / leanproved

    Theorems proved using the Lean prover.

    Lean • Built by @htzh @leodemoura

  3. leodemoura / msc-thesis

    Lean • Built by @javra @leodemoura

  4. Kha / semantics-lean

    Lean • Built by @Kha

  5. fpvandoorn / leansnippets

    Miscellaneous Lean code which doesn't belong in the standard library

    Lean • Built by @fpvandoorn @EgbertRijke

  6. zraffer / CoC-over-PTS

    CIC, CoC, PTS

    Lean • Built by @zraffer

  7. dselsam / fiat

    Translation of Fiat into Lean

    Lean • Built by @dselsam

  8. 11Kilobytes / hott-exercises-lean

    Lean • Built by @11Kilobytes @fpvandoorn

  9. lambdacalculator / lean-choice

    Formalization of my 2001 JSL proof that, intuitionistically, choice sets are well-orderable.

    Lean •

  10. spl / lean-tutorial

    Code from working on the Lean tutorial

    Lean • Built by @spl

  11. myuon / lean-software-foundations

    Lean • Built by @myuon

  12. bbentzen / hott-lean-exercises

    Lean • Built by @bbentzen

  13. tounaishouta / Lean

    Lean勉強会の資料、演習問題の解答例など

    Lean • Built by @tounaishouta

  14. dselsam / misclean

    Lean • Built by @dselsam

  15. myuon / lean-cate

    Lean • Built by @myuon

  16. cmu-phil / Spectral

    Lean • Built by @fpvandoorn @EgbertRijke @cnewstead @awodey @UlrikBuchholtz

  17. fpvandoorn / hott-exercises-lean

    Lean • Built by @11Kilobytes @fpvandoorn

  18. bmalehorn / fib

    Fibonacci library for Lean theorem prover.

    Lean • Built by @bmalehorn

  19. arademaker / alc-lean

    Formalization of ALC Logic in LEAN Prover

    Lean • Built by @arademaker

  20. fgdorais / Birkhoff

    Lean • Built by @fgdorais

  21. petersonbill64 / lean

    lean code

    Lean • Built by @petersonbill64

  22. emc2 / leanstuff

    Exploration of Lean

    Lean • Built by @emc2

  23. pcurry / learning-lean

    Me trying to learn the lean theorem prover (on alternate wednesdays)

    Lean • Built by @pcurry

  24. cjmazey / lean-tutorial

    Lean • Built by @cjmazey

  25. rodrigogribeiro / lean-tutorial

    Some random notes and code fragments done while learning Lean theorem prover

    Lean • Built by @rodrigogribeiro

ProTip! Looking for most starred Lean repositories? Try this search
Something went wrong with that request. Please try again.