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