Similar repositories to WeixiMa/nominal-unification:

• mvcccccc/nominal-unification github similar
• zakocsis/asia github similar
• WeixiMa/nominal-unification github similar
• jirkamarsik/lambda-mu github similar
• mr-ohman/intuitionistic-normalization github similar
• jashug/ConstructingII github similar
• nachivpn/syntactic-ni github similar
• clayrat/blott-experiments github similar
• xuanruiqi/algebraic-geometry github similar
• leo-colisson/zx-calculus github similar
• nbenton/coqdomains github similar
• heades/cut-fill-agda github similar
• ekmett/groupoids github similar
• andrisaar/Type-Theory-Foundations github similar
• arthuraa/beaq github similar
• m-yac/tt-in-cagda github similar
• jasonbaldridge/cg-latex github similar
• iblech/scheme-theory-in-agda github similar
• jyp/sctt github similar
• mikeshulman/dirtt github similar
• TOTBWF/agda-sgd github similar
• ekmett/multicategories github similar
• jwiegley/coq-lattice github similar
• jespercockx/reflection-tutorial github similar
• RedPRL/kado github similar
• zaklogician/linear-constructive github similar
• jonsterling/coq-domains github similar
• mb64/xtt github similar
• arthuraa/agda-hoas-demo github similar
• ericfinster/higher-alg github similar
• JorisCeulemans/sikkel github similar
• mortberg/AlgTop github similar
• ruliana/racket-examples github similar
• ziman/itt-idris github similar
• kcsmnt0/quotient github similar
• RobertHarper/hott-materials github similar
• wenkokke/msla2014 github similar
• pigworker/EGTBS github similar
• gallais/agda-presburger github similar
• CategoricalData/opl github similar