Similar repositories to L-TChen/MtacAR:

• L-TChen/MtacAR github similar
• Deducteam/Agda2Dedukti github similar
• sstucki/pts-agda github similar
• Saizan/parametric-demo github similar
• RobertHarper/hott-notes github similar
• jespercockx/reflection-tutorial github similar
• gallais/thesis github similar
• metaborg/linear.agda github similar
• mr-ohman/logrel-mltt github similar
• effectfully/STLC github similar
• jonsterling/lecture-notes github similar
• danistefanovic/build-your-own-x github similar
• AndrasKovacs/universes github similar
• pigworker/SSGEP-DataData github similar
• andreasabel/ipl github similar
• TOTBWF/agda-sgd github similar
• gallais/agdarky github similar
• scmu/foundations-harper github similar
• JorisCeulemans/sikkel github similar
• AndrasKovacs/preordertt github similar
• jespercockx/ataca github similar
• AndrasKovacs/polynomial-model github similar
• effectfully/Generic github similar
• scmu/aopa github similar
• yoricksijsling/ornaments-thesis github similar
• andreasabel/helf github similar
• nachivpn/nbe-stlc github similar
• jonsterling/coq-domains github similar
• pigworker/EGTBS github similar
• L-TChen/ModalTypeTheory github similar
• superhaNds/cwfs github similar
• AndrasKovacs/stlc-nbe github similar
• alhassy/gentle-intro-to-reflection github similar
• pigworker/Ming github similar
• clayrat/blott-experiments github similar
• fsestini/nbe-weak-stlc github similar
• groupoid/anders github similar
• bobatkey/system-f-parametricity-model github similar
• nbenton/coqdomains github similar
• kcsmnt0/quotient github similar