Similar repositories to vlopezj/coq-course:

• vlopezj/coq-course github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• RobertHarper/hott-notes github similar
• tootsuite/mastodon github similar
• kwf/Presburger github similar
• Lysxia/coq-recursion-schemes github similar
• palmskog/coq-program-verification-template github similar
• arthuraa/agda-hoas-demo github similar
• dboulytchev/miniKanren-coq github similar
• nikivazou/proof-combinators github similar
• zaklogician/typical-antiphrasis github similar
• hablapps/LensAlgebra github similar
• ReactTraining/react-router github similar
• k6io/k6 github similar
• mvr/at github similar
• andreasabel/ipl github similar
• philzook58/lens-algebra github similar
• joom/proof-tree-builder github similar
• gallais/parseque github similar
• mit-plv/reification-by-parametricity github similar
• jonsterling/agda-synthetic-domain-theory github similar
• L-TChen/MtacAR github similar
• aspiwack/peppermint-prover github similar
• arthuraa/deriving github similar
• andreasabel/strong-normalization github similar
• LightAndLight/parametricity-proofs github similar
• Lysxia/coq-simple-io github similar
• jespercockx/popl19-tutorial github similar
• neel-krishnaswami/inverse-bidirectional-typechecking github similar
• mr-ohman/logrel-mltt github similar
• jespercockx/ttac github similar
• takanuva/coc github similar
• JoeyEremondi/lambda-pi-constraint github similar
• gallais/thesis github similar
• ichistmeinname/free-proving github similar
• damien-pous/relation-algebra github similar
• oisdk/finiteness-in-cubical-type-theory github similar
• kcsmnt0/proof-trees github similar
• ualib/ualib.github.io github similar