Similar repositories to clayrat/refutation:

• danistefanovic/build-your-own-x github similar
• clayrat/refutation github similar
• hablapps/koky github similar
• gallais/great-library-of-idris github similar
• vkazanov/linux-sys-programming-exercises github similar
• vyorkin/haskbot github similar
• coq-community/regexp-Brzozowski github similar
• true-grue/fortik github similar
• edwinb/SchemeEval github similar
• clayrat/modal-types github similar
• tlringer/thesis github similar
• octeep/idris2-http github similar
• EngineeringSoftware/roosterize github similar
• edwinb/idris2-clibs github similar
• aprolog-lang/aprolog github similar
• jdevuyst/rekenaar github similar
• ak3n/urfu-fp-intro-20 github similar
• clayrat/fav-ssr github similar
• true-grue/awesome-russian-cs-books github similar
• RobertHarper/hott-notes github similar
• LightAndLight/idris-but-its-c github similar
• octeep/idris2-tls github similar
• gallais/pearl-binary-search github similar
• Z-snails/Idris2-Grin github similar
• sequents/code github similar
• metaborg/linear.agda github similar
• jmid/mutaml github similar
• tlringer/proof-demos github similar
• lemmy/lets-prove-blocking-queue github similar
• bellissimogiorno/nominal github similar
• cblp/funlangs github similar
• evdenis/verker github similar
• frex-project/idris-frex github similar
• anton-trunov/coq-lecture-notes github similar
• AndrasKovacs/normalization-bench github similar
• bedrocksystems/BRiCk github similar
• ushitora-anqou/aqaml github similar
• jmid/qcstm github similar
• WasmCert/WasmCert-Coq github similar
• mortberg/yacctt github similar