Similar repositories to mvcccccc/nominal-unification:

• mvcccccc/nominal-unification github similar
• zakocsis/asia github similar
• jonsterling/racket-grit github similar
• WeixiMa/nominal-unification github similar
• nbenton/coqdomains github similar
• scott-fleischman/redprl-notes github similar
• jirkamarsik/lambda-mu github similar
• mr-ohman/intuitionistic-normalization github similar
• ayberkt/notes-on-cut-elimination github similar
• nachivpn/syntactic-ni github similar
• jozefg/independence-of-the-continuum-hypothesis github similar
• jashug/ConstructingII github similar
• m-yac/tt-in-cagda github similar
• clayrat/blott-experiments github similar
• xuanruiqi/algebraic-geometry github similar
• leo-colisson/zx-calculus github similar
• heades/cut-fill-agda github similar
• Lapin0t/induction-recursion github similar
• mikeshulman/dirtt github similar
• ekmett/groupoids github similar
• ayberkt/abt github similar
• AndrasKovacs/preordertt github similar
• AndrasKovacs/qiit-generalizations github similar
• TOTBWF/agda-sgd github similar
• andrisaar/Type-Theory-Foundations github similar
• michiakig/maml github similar
• arthuraa/beaq github similar
• ericfinster/catt github similar
• chrisamaphone/lfinlf github similar
• jasonbaldridge/cg-latex github similar
• IanOrton/cubical-topos-experiments github similar
• tomdjong/domain-theory-in-uf github similar
• iblech/scheme-theory-in-agda github similar
• jyp/sctt github similar
• gergoerdi/stlc-agda github similar
• jonsterling/sml-logical-framework github similar
• ekmett/multicategories github similar
• ericfinster/opetopes-in-agda github similar
• jwiegley/coq-lattice github similar
• jozefg/undergraduate-thesis github similar