Similar repositories to marcusrossel/lean-snakebird:

• marcusrossel/lean-snakebird github similar
• zhangir-azerbayev/lean-chat github similar
• martinescardo/HoTTEST-Summer-School github similar
• Jlh18/ModelTheory8Report github similar
• tirix/q0.mm github similar
• tirix/mm-web-ui github similar
• opencompl/lean-gap github similar
• yatima-inc/Http.lean github similar
• digama0/dtt.mm github similar
• m4lvin/tablean github similar
• thalesant/formalabstracts-2018 github similar
• siddhartha-gadgil/lean-loris github similar
• arthurpaulino/LeanMusic github similar
• htzh/leanproved github similar
• arthurpaulino/lean2md github similar
• tydeu/lean4-papyrus github similar
• mmasdeu/topologygame github similar
• forked-from-1kasper/ground_zero github similar
• PeterScholze/Analytic github similar
• dwrensha/lean4-maze github similar
• crabbo-rave/Soup github similar
• mirefek/sokoban.lean github similar
• ATOMSLab/LeanChemicalTheories github similar
• leanprover-community/con-nf github similar
• leanprover-community/mathzoo github similar
• google/formal-ml github similar
• leanprover/LeanInk github similar
• leanprover/doc-gen4 github similar
• leanprover/lean4-mode github similar
• IMO-grand-challenge/IMO-grand-challenge.github.io github similar
• GaloisInc/lean-haskell-bindings github similar
• joehendrix/lean-crypto github similar
• GaloisInc/lean4-balance-car github similar
• sorear/smetamath-rs github similar
• gebner/trepplein github similar
• JLimperg/aesop github similar
• leanprover/lean-client-js github similar
• leanprover/lean.js github similar
• avigad/polya github similar
• mhuisi/lean4-cli github similar