Similar repositories to blanchette/logical_verification_2022:

• GamestonkTerminal/GamestonkTerminal github similar
• mattrobball/lean-autograding github similar
• blanchette/logical_verification_2022 github similar
• e45lee/lean-matroids github similar
• paulaneeley/modal github similar
• kendfrey/rubiks-cube-group github similar
• ImperialCollegeLondon/complex-number-game github similar
• avigad/mathematics_in_lean_source github similar
• leanprover-community/format_lean github similar
• mpedramfar/Lean-game-maker github similar
• sorear/metamath-turing-machines github similar
• ImperialCollegeLondon/real-number-game github similar
• flypitch/flypitch github similar
• leanprover-community/lean-liquid github similar
• leanprover-community/mathlib4 github similar
• arthurpaulino/lean4-metaprogramming-book github similar
• Julian/lean.nvim github similar
• ilyasergey/pnp github similar
• ImperialCollegeLondon/M40001_lean github similar
• kbuzzard/xena github similar
• digama0/mm0 github similar
• ImperialCollegeLondon/natural_number_game github similar
• leanprover-community/lean github similar
• OpenVSP/OpenVSP github similar
• OpenLogicProject/OpenLogic github similar
• presentator/presentator github similar
• triska/the-power-of-prolog github similar
• featureform/featureform github similar
• leanprover-community/mathlib github similar
• KiCad/kicad-source-mirror github similar
• leanprover/lean4 github similar
• gilesbowkett/rewind github similar
• HoTT/book github similar
• sagemath/sage github similar
• SwiftLaTeX/SwiftLaTeX github similar
• clovaai/stargan-v2 github similar
• peatio/peatio github similar
• coq/coq github similar
• xoreaxeaxeax/sandsifter github similar
• steshaw/plt github similar