Similar repositories to mietek/coquand:

• mietek/coquand github similar
• danistefanovic/build-your-own-x github similar
• sergei-romanenko/idris-norm-by-traversals github similar
• aronisstav/formal-trace-theory github similar
• paf31/purescript-tropical github similar
• hrb90/purescript-free-group github similar
• morganthomas/purescript-group github similar
• ayberkt/agda-brzozowski github similar
• ostera/tap-idris github similar
• akissinger/pypn github similar
• ahmadsalim/desc-n-crunch github similar
• tuura/selective-theory-agda github similar
• bamboo/idris-hamt github similar
• awkure/purescript-birds github similar
• conal/calculating-compilers-agda github similar
• larrytheliquid/leveling-up github similar
• peterlefanulumsdaine/higher-inductive-paper github similar
• IanOrton/decomposing-univalence github similar
• CoqHott/coq-forcing github similar
• amutake/coq-extensible-effects github similar
• jmars/Records github similar
• eraserhd/Idris-book github similar
• yurrriq/idris-logic github similar
• roglo/coq_real github similar
• FreeProving/free-proving-code github similar
• SimonJF/IdrisNet github similar
• edwinb/ConcIO github similar
• pigworker/LibAgda github similar
• AndrasKovacs/preordertt github similar
• olivierverdier/GeometricAlgebra github similar
• effectfully/random-stuff github similar
• justjoheinz/idris-httpclient github similar
• paf31/purescript-foreign-lens github similar
• benmos/HLevy github similar
• emtst/emtst-proof github similar
• jespercockx/cubes github similar
• eraserhd/Idris-json github similar
• ayberkt/Mini-TT github similar
• jonsterling/agda-effectful-forcing github similar
• ekmett/search github similar