Trending in open source

See what the GitHub community is most excited about today.

  1. groupoid / exe

    Language with Dependent Types

    Lean • Built by @zraffer @5HT @ymn @ulidtko @nponeccop

  2. cmu-phil / Spectral

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

  3. EgbertRijke / sequential_colimits

    Lean • Built by @fpvandoorn @EgbertRijke

  4. htzh / leanproved

    Theorems proved using the Lean prover.

    Lean • Built by @htzh @leodemoura

  5. leodemoura / msc-thesis

    Lean • Built by @javra @leodemoura

  6. fpvandoorn / leansnippets

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

    Lean • Built by @fpvandoorn @EgbertRijke

  7. Kha / semantics-lean

    Lean • Built by @Kha

  8. bbentzen / hott-book-in-lean

    Lean • Built by @bbentzen

  9. dselsam / misclean

    Lean • Built by @dselsam

  10. myuon / lean-cate

    Lean • Built by @myuon

  11. dselsam / fiat

    Translation of Fiat into Lean

    Lean • Built by @dselsam

  12. 11Kilobytes / hott-exercises-lean

    Lean • Built by @11Kilobytes @fpvandoorn

  13. lambdacalculator / lean-choice

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

    Lean •

  14. tounaishouta / Lean

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

    Lean • Built by @tounaishouta

  15. myuon / lean-software-foundations

    Lean • Built by @myuon

  16. spl / lean-tutorial

    Code from working on the Lean tutorial

    Lean • Built by @spl

  17. rodrigogribeiro / lean-tutorial

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

    Lean • Built by @rodrigogribeiro

  18. fpvandoorn / hott-exercises-lean

    Lean • Built by @11Kilobytes @fpvandoorn

  19. bmalehorn / fib

    Fibonacci library for Lean theorem prover.

    Lean • Built by @bmalehorn

  20. arademaker / alc-lean

    Formalization of ALC Logic in LEAN Prover

    Lean • Built by @arademaker

  21. fgdorais / Birkhoff

    Lean • Built by @fgdorais

  22. petersonbill64 / lean

    lean code

    Lean • Built by @petersonbill64

  23. emc2 / leanstuff

    Exploration of Lean

    Lean • Built by @emc2

  24. pcurry / learning-lean

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

    Lean • Built by @pcurry

  25. cjmazey / lean-tutorial

    Lean • Built by @cjmazey

ProTip! Looking for most forked Lean repositories? Try this search