Similar repositories to wjzz/Agda-theorem-library:

• wjzz/Agda-theorem-library github similar
• effectfully/Big-Step-Normalization github similar
• wjzz/Agda-small-developments-and-examples github similar
• andreasabel/continuous-normalization github similar
• effectfully/Beauty-and-the-Beast github similar
• wjzz/Agda-mode-improvements github similar
• wjzz/agda-DTP-examples github similar
• wjzz/Agda-reflection-for-semiring-solver github similar
• wenkokke/FirstOrderUnificationInAgda github similar
• fsestini/nbe-weak-stlc github similar
• agda/agda-assoc-free github similar
• jyp/topics github similar
• ahmadsalim/well-typed-agda-interpreter github similar
• gergoerdi/syntactic-stlc github similar
• shapr/usehaskellfromc github similar
• jmchapman/Big-step-Normalisation github similar
• gergoerdi/stlc-agda github similar
• hazelgrove/agda-popl17 github similar
• VictorCMiraldo/agda-rw github similar
• effectfully/STLC github similar
• toothbrush/reflection-proofs github similar
• gallais/agda-presburger github similar
• yoricksijsling/ornaments-thesis github similar
• agda/ooAgda github similar
• ZongzheYuan/HaltingProblem github similar
• andreasabel/ipl github similar
• bobatkey/system-f-parametricity-model github similar
• ezyang/lr-agda github similar
• sstucki/pts-agda github similar
• gallais/agda-nbe github similar
• jmchapman/Relative-Monads github similar
• wenkokke/AutoInAgda github similar
• wenkokke/msla2014 github similar
• gallais/typing-with-leftovers github similar
• gfngfn/toy-macro-ml github similar
• langston-barrett/CoverTranslator github similar
• L-TChen/MtacAR github similar
• david-christiansen/derive-all-the-instances github similar
• wilbowma/cic-redex github similar
• boyland/sasylf github similar