Similar repositories to unitb/lean-lib:

• unitb/lean-lib github similar
• ysharoda/Deriving-Definitions github similar
• thalesant/formalabstracts-2018 github similar
• dpiponi/caustics github similar
• RobertHarper/hott-notes github similar
• levjj/esverify-theory github similar
• dpiponi/formal-weyl github similar
• mhuisi/lean4-cli github similar
• gbaz/mess github similar
• gebner/trepplein github similar
• gnachman/iTerm2-shell-integration github similar
• avigad/mathematics_in_lean_source github similar
• GaloisInc/lean-protocol-support github similar
• ammkrn/nanoda github similar
• b-mehta/topos github similar
• dwrensha/lean4-maze github similar
• gebner/quote4 github similar
• leanprover/LeanInk github similar
• maciej-bendkowski/boltzmann-brain github similar
• hypirion/haskell-transducers github similar
• GaloisInc/lean4-balance-car github similar
• ImperialCollegeLondon/M4P33 github similar
• wilbowma/cic-redex github similar
• arrdem/stacks github similar
• wenkokke/fgg-gen github similar
• mr-ohman/logrel-mltt github similar
• JLimperg/aesop github similar
• cmu-phil/Spectral github similar
• gebner/hott3 github similar
• flypitch/flypitch github similar
• semorrison/lean-category-theory github similar
• Porges/programming-history github similar
• anuyts/agda-sessions github similar
• leanprover/lake github similar
• jesse-michael-han/lean-gptf github similar
• dlicata335/cart-cube github similar
• jldodds/coq-lean-cheatsheet github similar
• mortberg/yacctt github similar
• leanprover-community/lean-perfectoid-spaces github similar
• formalabstracts/formalabstracts github similar