Similar repositories to gmalecha/coq-temporal:

• gmalecha/coq-temporal github similar
• kwf/Presburger github similar
• jozefg/register-alloc github similar
• nikivazou/proof-combinators github similar
• ghulette/happy-example github similar
• ekmett/monad-ran github similar
• amosr/folderol github similar
• sconybeare/mltt github similar
• msr-quarc/ReVerC github similar
• joom/proof-tree-builder github similar
• dboulytchev/miniKanren-coq github similar
• elliottt/dang github similar
• dpiponi/SASL github similar
• Lysxia/coq-simple-io github similar
• qpliu/esolang github similar
• palmskog/coq-program-verification-template github similar
• mniip/yoctoparsec github similar
• agoric-labs/jessica github similar
• TOTBWF/muprl github similar
• dpiponi/provability github similar
• vlopezj/coq-course github similar
• LaifsV1/YUP github similar
• aneksteind/Core github similar
• intoverflow/Potential github similar
• tchajed/coq-record-update github similar
• aspiwack/peppermint-prover github similar
• hkuplg/fcore github similar
• andrew-bedford/coqatoo github similar
• konn/equational-reasoning-in-haskell github similar
• david-christiansen/epigram1 github similar
• UlfNorell/x86-agda github similar
• Erdwolf/prolog github similar
• plclub/metalib github similar
• UlfNorell/insane github similar
• gallais/generic-syntax github similar
• coq-community/coq-ext-lib github similar
• totalspectrum/tinyscript github similar
• bobatkey/sott github similar
• valis/hoq github similar
• pa-ba/compdata github similar