Similar repositories to dschepler/coq-sequent-calculus:

• dschepler/coq-sequent-calculus github similar
• danistefanovic/build-your-own-x github similar
• RobertHarper/hott-notes github similar
• gmalecha/coq-interaction-trees github similar
• yannham/visual-goi github similar
• jonsterling/sml-pronominal-ml github similar
• tootsuite/mastodon github similar
• jozefg/miniprl github similar
• bmsherman/topology github similar
• andreasabel/strong-normalization github similar
• jonsterling/agda-zipper-machine github similar
• groupoid/anders github similar
• proofengineering/proofengineering-bib github similar
• jespercockx/reflection-tutorial github similar
• andrejbauer/miniLCF github similar
• dlicata335/cubicalexperiments github similar
• jozefg/independence-of-the-continuum-hypothesis github similar
• gmalecha/coq-printf github similar
• jonsterling/tt github similar
• neel-krishnaswami/linearml github similar
• TheoWinterhalter/formal-type-theory github similar
• jldodds/coq-lean-cheatsheet github similar
• david-christiansen/pudding-old github similar
• ayberkt/abt github similar
• david-christiansen/idris-interaction.rkt github similar
• bedrocksystems/coq-lens github similar
• ToTal/total github similar
• ct-gradual-typing/Papers github similar
• RedPRL/sml-typed-abts github similar
• bobatkey/system-f-parametricity-model github similar
• garrigue/certint github similar
• sweirich/corespec github similar
• nachivpn/nbe-stlc github similar
• nikivazou/theorem-proving-template github similar
• thsutton/cha github similar
• theoremprover-museum/LCF77 github similar
• ReactTraining/react-router github similar
• tuvtran/project-based-learning github similar
• twanvl/ttie github similar
• andreasabel/helf github similar