Similar repositories to jthickstun/lean:

• jthickstun/lean github similar
• gibiansky/IHaskell github similar
• anfelor/coc-lean github similar
• adamtopaz/comb_geom github similar
• joom/modal github similar
• gebner/trepplein github similar
• alashworth/sf-lean github similar
• jtristan/stump-learnable github similar
• jonsterling/constructive-sheaf-semantics github similar
• formalabstracts/CNL-CIC github similar
• kbuzzard/lean-stacks-project github similar
• andreasots/base32 github similar
• m15k/hfuse github similar
• ramonfmir/lean-scheme github similar
• leanprover-community/mathlib-tools github similar
• ImperialCollegeLondon/M4P33 github similar
• GaloisInc/lean4-balance-car github similar
• ammkrn/nanoda github similar
• rampion/kinder-functor github similar
• henryseg/H2xE_VR github similar
• flypitch/flypitch github similar
• jtassarotti/coq-proba github similar
• semorrison/lean-category-theory github similar
• anuyts/agda-sessions github similar
• leanprover/vscode-lean4 github similar
• leanprover/tc github similar
• dlicata335/cart-cube github similar
• leanprover/vscode-lean github similar
• jesse-michael-han/lean-gptf github similar
• leanprover-community/lean-perfectoid-spaces github similar
• ollef/Bidirectional github similar
• scott-fleischman/agda-from-nothing github similar
• perl6/Pugs.hs github similar
• gapt/gapt github similar
• Lysxia/advent-of-coq-2018 github similar
• kmill/lean4-raytracer github similar
• leanprover-community/lean-liquid github similar
• leanprover-community/mathlib4 github similar
• kb1dds/pysheaf github similar
• martinescardo/TypeTopology github similar