Similar repositories to PatrickMassot/leanblueprint:
PatrickMassot/leanblueprint
github
similar
PatrickMassot/lean-verbose
github
similar
andrejbauer/alg
github
similar
thehottgame/TheHoTTGame
github
similar
arthurpaulino/lean4-metaprogramming-book
github
similar
leanprover-community/mathlib
github
similar
JuliaLang/julia
github
similar