Similar repositories to lukaszcz/COQ-IMP:

• lukaszcz/COQ-IMP github similar
• danistefanovic/build-your-own-x github similar
• uds-psl/time-invariance-thesis-for-L github similar
• jdrprod/automatik github similar
• logic-and-learning-lab/ilp-experiments github similar
• dunnl/tealeaves github similar
• damien-pous/relation-algebra github similar
• ejgallego/pycoq github similar
• ocaml-multicore/lockfree github similar
• jsiek/B522-PL-Foundations github similar
• data61/PSL github similar
• abella-prover/abella github similar
• uds-psl/coq-library-undecidability github similar
• nikomatsakis/a-mir-formality github similar
• lukaszcz/coqhammer github similar
• newca12/awesome-rust-formalized-reasoning github similar
• sstucki/system-f-agda github similar
• AU-COBRA/ConCert github similar
• sweirich/lambda-n-ways github similar
• digama0/lean-type-theory github similar
• ML-KULeuven/deepproblog github similar
• patricoferris/awesome-multicore-ocaml github similar
• smtcoq/smtcoq github similar
• thehottgame/TheHoTTGame github similar
• ilyasergey/pnp github similar
• pigworker/MetaprogAgda github similar
• coq-community/awesome-coq github similar
• openai/miniF2F github similar
• mit-plv/fiat github similar
• math-comp/analysis github similar
• liamoc/holbert github similar
• jwiegley/coq-haskell github similar
• ccanonne/probabilitydistributiontoolbox github similar
• mattam82/Coq-Equations github similar
• princeton-vl/CoqGym github similar
• siddhartha-gadgil/ProvingGround github similar
• jix/varisat github similar
• QuickChick/QuickChick github similar
• pirapira/eth-isabelle github similar
• schwering/limbo github similar