Similar repositories to nbenton/coqdomains:

• nbenton/coqdomains github similar
• gibiansky/IHaskell github similar
• jonsterling/coq-meaning-explanation github similar
• jonsterling/brouwer-translations github similar
• jonsterling/racket-grit github similar
• jonsterling/sml-logical-framework github similar
• mortberg/TypeTheory github similar
• mvcccccc/nominal-unification github similar
• AndrasKovacs/qiit-generalizations github similar
• RedPRL/sml-lcf github similar
• jirkamarsik/lambda-mu github similar
• jonsterling/remark-on-hypothetical-judgment github similar
• mikeshulman/dirtt github similar
• RobertHarper/hott-notes github similar
• pigworker/SmolCat github similar
• ralsei/six-eyes github similar
• JasonGross/slow-coq-examples github similar
• gallais/agda-pretty-notgreedy github similar
• jonsterling/sml-ifol-completeness github similar
• jonsterling/sml-elaborating-typechecker github similar
• jonsterling/bar-induction-slides github similar
• jonsterling/purescript-abt github similar
• danistefanovic/build-your-own-x github similar
• mhaemmerle/entitas-haskell github similar
• AndrasKovacs/ind-ind-types github similar
• larrytheliquid/mltt-lecture github similar
• uds-psl/ill-undecidability github similar
• jonsterling/lecture-notes github similar
• UniversalAlgebra/lean-ualib github similar
• jespercockx/tensors github similar
• ericfinster/catt github similar
• nachivpn/nbe-stlc github similar
• manugunther/agda-universal-algebra github similar
• jozefg/ctt.elf github similar
• fferreira/NbE github similar
• FranklinChen/cmu-cs-212ML-notes-spring-1998 github similar
• jozefg/classical-realizability github similar
• BekaValentine/GenericEvaluators github similar
• jozefg/independence-of-the-continuum-hypothesis github similar
• UniMath/opam-repository github similar