Similar repositories to fsestini/nbe-weak-stlc:

• fsestini/nbe-weak-stlc github similar
• andreasabel/sized-types github similar
• larrytheliquid/mltt-lecture github similar
• heliaxdev/witch github similar
• jonsterling/lecture-notes github similar
• MrChico/Reals-in-agda github similar
• hbasold/CoindDepTypes github similar
• andreasabel/type-preserving-cps github similar
• ernius/genericBindingFramework github similar
• benhuds/Agda github similar
• jonsterling/agda-abt github similar
• lukaszcz/infinitary-confluence github similar
• BekaValentine/TTInAgda github similar
• Toxaris/lift.pts github similar
• JasonGross/lob-paper github similar
• wjzz/Agda-theorem-library github similar
• effectfully/ECC github similar
• hazelgrove/hazelnut-dynamics github similar
• MonoidalAttackTrees/ATLL-Formalization github similar
• sstucki/pts-agda github similar
• andreasabel/continuous-normalization github similar
• wjzz/Agda-mode-improvements github similar
• jgaltidor/twelf_tutorial github similar
• jihgfee/coq-system_f github similar
• wilbowma/infernalize github similar
• jirkamarsik/lambda-mu github similar
• UlfNorell/effects github similar
• Saizan/parametric-demo github similar
• gergoerdi/syntactic-stlc github similar
• umazalakain/fyp github similar
• ernius/formalmetatheory-nominal github similar
• andreasabel/Sit github similar
• andreasabel/ipl github similar
• jozefg/fibrational-semantics github similar
• javra/indind-agda github similar
• jespercockx/tensors github similar
• mr-ohman/intuitionistic-normalization github similar
• hansbugge/cubicaltt github similar
• wjzz/Agda-small-developments-and-examples github similar
• bobatkey/system-f-parametricity-model github similar