Similar repositories to kelleyvanevert/minprop_pa:

• kelleyvanevert/minprop_pa github similar
• clayrat/exp-subs github similar
• BekaValentine/GenericEvaluators github similar
• nbenton/coqdomains github similar
• jashug/WhyNotW github similar
• anderslundstedt/pca-realizability github similar
• jyp/sctt github similar
• pigworker/Gigs-Summer-2018 github similar
• logsem/mitten_preorder github similar
• VictorCMiraldo/agda-rw github similar
• andrejbauer/miniLCF github similar
• nmvdw/Three-HITs github similar
• rodrigogribeiro/unification github similar
• peterlefanulumsdaine/palmgren-archive github similar
• thsutton/cha github similar
• TheoWinterhalter/phd-thesis github similar
• pigworker/Bi71 github similar
• pigworker/EGTBS github similar
• AndrasKovacs/thesis github similar
• pigworker/Saturday github similar
• msp-strath/ZEUG github similar
• wilbowma/cic-redex github similar
• pigworker/TypesWhoSayNi github similar
• vrahli/NuprlInCoq github similar
• pigworker/Samizdat github similar
• sweirich/trellys github similar
• mmcqd/datatt github similar
• jozefg/miniprl github similar
• david-christiansen/epigram1 github similar
• gallais/generic-syntax github similar
• edwinb/Yaffle github similar
• bobatkey/sott github similar
• abella-prover/abella github similar
• TheoWinterhalter/formal-type-theory github similar
• dpndnt/library github similar
• jozefg/blott github similar
• simhu/cubical github similar
• DeepSpec/InteractionTrees github similar
• RedPRL/redtt github similar
• Andromedans/andromeda github similar