Similar repositories to gallais/agda-presburger:

• gallais/agda-presburger github similar
• danistefanovic/build-your-own-x github similar
• andreasabel/ipl github similar
• gergoerdi/stlc-agda github similar
• wjzz/Agda-small-developments-and-examples github similar
• bedrocksystems/cpp2v github similar
• tootsuite/mastodon github similar
• konn/sdg-agda github similar
• tomdjong/domain-theory-in-uf github similar
• toothbrush/reflection-proofs github similar
• mr-ohman/logrel-mltt github similar
• benjaminselfridge/logix github similar
• sellout/Idris-CPDT github similar
• jonsterling/constructive-sheaf-semantics github similar
• L-TChen/MtacAR github similar
• MatthewStein/adrenalina github similar
• ezyang/lr-agda github similar
• IanOrton/decomposing-univalence github similar
• jespercockx/popl19-tutorial github similar
• heades/cut-fill-agda github similar
• CoqHott/coq-forcing github similar
• uds-psl/autosubst-ocaml github similar
• pixijs/pixi.js github similar
• gibiansky/IHaskell github similar
• ramsdell/agum github similar
• ReactTraining/react-router github similar
• k6io/k6 github similar
• meilisearch/MeiliSearch github similar
• ubuntu/microk8s github similar
• coq/coq-bench github similar
• Eugeny/terminus github similar
• hecrj/iced github similar
• briancaine/ocaml-amf github similar
• emtst/emtst-proof github similar
• jonsterling/agda-effectful-forcing github similar
• gergoerdi/syntactic-stlc github similar
• sstucki/pts-agda github similar
• andreasabel/strong-normalization github similar
• pigworker/ProgrammerCommaCon github similar
• garrigue/certint github similar