Similar repositories to ernius/formalmetatheory-nominal-Church-Rosser:

• ernius/formalmetatheory-nominal-Church-Rosser github similar
• ernius/formalmetatheory-nominal github similar
• poplmark-reloaded/poplmark-reloaded github similar
• Deducteam/Agda2Dedukti github similar
• andreasabel/agda2lagda github similar
• sweirich/haskelltester github similar
• UlfNorell/agda-bench github similar
• 8l/asif github similar
• UlfNorell/quasi-quote github similar
• GaloisInc/cryptol-semantics github similar
• thery/T2048 github similar
• sstucki/pts-agda github similar
• fblanqui/color github similar
• pedrotst/coquedille github similar
• bzhan/holpy github similar
• halfaya/MusicTools github similar
• L-TChen/MtacAR github similar
• cedille/ial github similar
• gallais/aGdaREP github similar
• Mtac2/Mtac2 github similar
• anuyts/menkar github similar
• tchajed/ltac2-tutorial github similar
• cedille/cedille-developments github similar
• snu-sf/paco github similar
• metaborg/linear.agda github similar
• jonsterling/agda-calf github similar
• WhatisRT/meta-cedille github similar
• granule-project/gerty github similar
• wenkokke/AutoInAgda github similar
• bellissimogiorno/nominal github similar
• DimaSamoz/agda-soas github similar
• andrejbauer/notes-on-realizability github similar
• jespercockx/ataca github similar
• LightAndLight/qtt github similar
• peterlefanulumsdaine/general-type-theories github similar
• Kraks/sai github similar
• UniFormal/MMT github similar
• DeepSpec/dsss18 github similar
• scmu/aopa github similar
• msp-strath/TypOS github similar