Similar repositories to leanprover/theorem_proving_in_lean:

• leanprover/theorem_proving_in_lean github similar
• danistefanovic/build-your-own-x github similar
• Eloston/ungoogled-chromium github similar
• tootsuite/mastodon github similar
• gibiansky/IHaskell github similar
• Eugeny/terminus github similar
• RobertHarper/hott-notes github similar
• aquynh/capstone github similar
• pixijs/pixi.js github similar
• tuvtran/project-based-learning github similar
• chriskempson/base16 github similar
• ReactTraining/react-router github similar
• domchristie/turndown github similar
• hecrj/iced github similar
• expnkx/fast_io github similar
• gionkunz/chartist-js github similar
• jldodds/coq-lean-cheatsheet github similar
• leanprover/logic_and_proof github similar
• leanprover/tutorial github similar
• msprotz/proof-search-monad github similar
• jonsterling/agda-zipper-machine github similar
• cocreature/smt-pretty github similar
• Jermolene/TiddlyDesktop github similar
• Ptival/ProofIDE github similar
• mathandley/RTick github similar
• hyperfiddle/hyperfiddle github similar
• lab-ml/annotated_deep_learning_paper_implementations github similar
• k6io/k6 github similar
• bridgedotnet/Bridge github similar
• oven-sh/bun github similar
• ImperialCollegeLondon/group-theory-game github similar
• robrix/abstract-interpretation github similar
• leanprover-community/format_lean github similar
• ezrosent/TAPL-idris github similar
• ezrosent/FLK-Semantics github similar
• githwxi/ATS-Postiats-contrib github similar
• langston-barrett/coq-big-o github similar
• rampion/conkin github similar
• jaredly/coqdocs github similar
• lives-group/time-complexity-verification github similar