Similar repositories to ernius/formalmetatheory-nominal:
ernius/formalmetatheory-nominal
github
similar
aa755/CFGV
github
similar
ernius/formalmetatheory-nominal-Church-Rosser
github
similar
mcopes73/standardization-agda
github
similar
fsestini/nbe-weak-stlc
github
similar
Deducteam/Agda2Dedukti
github
similar
MrChico/Reals-in-agda
github
similar
Saizan/parametric-demo
github
similar
andreasabel/agda2lagda
github
similar
sstucki/pts-agda
github
similar
UlfNorell/agda-bench
github
similar
UlfNorell/quasi-quote
github
similar
JorisCeulemans/sikkel
github
similar
L-TChen/MtacAR
github
similar
metaborg/linear.agda
github
similar
bobatkey/system-f-parametricity-model
github
similar
timonoko/nokolisp
github
similar
andreasabel/helf
github
similar
bch29/agda-holes
github
similar
pigworker/potato
github
similar
wenkokke/AutoInAgda
github
similar
jmchapman/Relative-Monads
github
similar
wenkokke/msla2014
github
similar
effectfully/STLC
github
similar
effectfully/Generic
github
similar
coq-community/coqdocjs
github
similar
jespercockx/ataca
github
similar
Mtac2/Mtac2
github
similar
cedille/ial
github
similar
gallais/aGdaREP
github
similar
tomtung/latex2unicode
github
similar
gallais/agda-sizedIO
github
similar
anuyts/menkar
github
similar
andreasabel/strong-normalization
github
similar
pcapriotti/agda-base
github
similar
JasonGross/coq-tools
github
similar
mr-ohman/logrel-mltt
github
similar
coq-tactician/coq-tactician
github
similar
bellissimogiorno/nominal
github
similar
guillaumebrunerie/initiality
github
similar