Similar repositories to jldodds/coq-lean-cheatsheet:

• jldodds/coq-lean-cheatsheet github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• RobertHarper/hott-notes github similar
• tuvtran/project-based-learning github similar
• sweirich/corespec github similar
• gallais/parseque github similar
• semorrison/lean-category-theory github similar
• gebner/hott3 github similar
• forked-from-1kasper/leanbot github similar
• dschepler/coq-sequent-calculus github similar
• hecrj/iced github similar
• pixijs/pixi.js github similar
• plclub/metalib github similar
• mr-ohman/logrel-mltt github similar
• dbp/howtoproveacompiler github similar
• leanprover/theorem_proving_in_lean github similar
• oisdk/agda-ring-solver github similar
• gmalecha/coq-printf github similar
• lambdabetaeta/modal-logics github similar
• lthms/FreeSpec github similar
• langston-barrett/coq-big-o github similar
• TheoWinterhalter/formal-type-theory github similar
• coq-community/coq-ext-lib github similar
• jtassarotti/coq-proba github similar
• ayberkt/simplc github similar
• letouzey/coq-minicalc github similar
• LPCIC/coq-elpi github similar
• mattam82/Coq-Equations github similar
• david-christiansen/epigram1 github similar
• ilyasergey/pnp github similar
• Lysxia/coq-recursion-schemes github similar
• math-comp/analysis github similar
• ichistmeinname/free-proving github similar
• shaunlebron/parinfer github similar
• uhub/awesome-coq github similar
• jespercockx/reflection-tutorial github similar
• bobatkey/sott github similar
• sweirich/replib github similar
• coq-community/manifesto github similar