Similar repositories to dschepler/coq-zorns-lemma:

• dschepler/coq-zorns-lemma github similar
• trifunovski/Resolution-Theorem-Prover github similar
• kwf/Presburger github similar
• davidnowak/bellantonicook github similar
• wkolowski/CoqCat github similar
• mertdumenci/system-lk github similar
• mrkgnao/utt github similar
• dschepler/coq-topology github similar
• SkySkimmer/HoTT-algebra github similar
• MatthewStein/adrenalina github similar
• wenkokke/FirstOrderUnificationInAgda github similar
• jonsterling/agda-abt github similar
• jdublu10/pacman github similar
• kcsmnt0/proof-trees github similar
• joom/modal github similar
• MathiasVP/idris-regex github similar
• jules-hedges/synthetic-probability github similar
• BekaValentine/basic-proof-development github similar
• mishun/henk2000 github similar
• nachivpn/nbe-stlc github similar
• FFaissole/Valuations github similar
• joom/Guguk github similar
• jonsterling/sml-modernized-algol github similar
• hgoes/smtlib2 github similar
• logsem/mitten_preorder github similar
• RobertHarper/hott-notes github similar
• jakebian/kan github similar
• peterlefanulumsdaine/Oberwolfach-explorations github similar
• jonsterling/lcf-sequent-calculus-example github similar
• takanuva/coc github similar
• ualib/ualib.github.io github similar
• msullivan/sml-util github similar
• andreasabel/ipl github similar
• benjaminselfridge/logix github similar
• yigitozkavci/typelevel-dijkstra-sp github similar
• hurryabit/pukeko github similar
• Armael/coq-procrastination github similar
• zaklogician/typical-antiphrasis github similar
• ezyang/lr-agda github similar
• sstucki/pts-agda github similar