Similar repositories to wenkokke/msla2014:

• wenkokke/msla2014 github similar
• danistefanovic/build-your-own-x github similar
• ezyang/lr-agda github similar
• sstucki/pts-agda github similar
• andreasabel/ipl github similar
• fsestini/nbe-weak-stlc github similar
• rodrigogribeiro/agda-software-foundations github similar
• gibiansky/IHaskell github similar
• tootsuite/mastodon github similar
• ChrisBlom/Signs github similar
• larrytheliquid/mltt-lecture github similar
• mr-ohman/logrel-mltt github similar
• pigworker/WhatRTypes4 github similar
• orca-lang/orca github similar
• wenkokke/AutoInAgda github similar
• BekaValentine/TTInAgda github similar
• coq-contribs/icharate github similar
• crypto-agda/crypto-agda github similar
• jonsterling/agda-nominal-sets github similar
• RobertHarper/hott-notes github similar
• jonsterling/sml-logical-framework github similar
• hazelgrove/agda-popl17 github similar
• dankoi/metamath github similar
• gallais/agda-presburger github similar
• nmvdw/Three-HITs github similar
• jonsterling/lcf-sequent-calculus-example github similar
• zaklogician/linear-constructive github similar
• andrisaar/Type-Theory-Foundations github similar
• wjzz/Agda-small-developments-and-examples github similar
• IanOrton/decomposing-univalence github similar
• larrytheliquid/spire github similar
• wenkokke/FirstOrderUnificationInAgda github similar
• jonsterling/agda-abt github similar
• nachivpn/syntactic-ni github similar
• oisdk/finiteness-in-cubical-type-theory github similar
• jyp/nano-Agda github similar
• bobatkey/sorting-types github similar
• L-TChen/MtacAR github similar
• nbenton/coqdomains github similar
• stefaniatadama/inductive_types github similar