close
The Wayback Machine - https://web.archive.org/web/20160323223718/https://github.com/trending/lean
Skip to content
Learn more
Please note that GitHub no longer supports Internet Explorer versions 7 or 8.

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

If you are using IE 11, make sure you turn off "Compatibility View".

Trending in open source

See what the GitHub community is most excited about today.

  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. dselsam / fiat

    Translation of Fiat into Lean

    Lean • Built by @dselsam

  7. 11Kilobytes / hott-exercises-lean

    Lean • Built by @11Kilobytes @fpvandoorn

  8. lambdacalculator / lean-choice

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

    Lean •

  9. spl / lean-tutorial

    Code from working on the Lean tutorial

    Lean • Built by @spl

  10. myuon / lean-software-foundations

    Lean • Built by @myuon

  11. bbentzen / hott-lean-exercises

    Lean • Built by @bbentzen

  12. tounaishouta / Lean

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

    Lean • Built by @tounaishouta

  13. dselsam / misclean

    Lean • Built by @dselsam

  14. nthomas103 / lean_work

    Lean • Built by @nthomas103

  15. myuon / lean-cate

    Lean • Built by @myuon

  16. cmu-phil / Spectral

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

  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 recently updated Lean repositories? Try this search
Something went wrong with that request. Please try again.