Similar repositories to thtuerk/ITP-course:

• danistefanovic/build-your-own-x github similar
• thtuerk/ITP-course github similar
• kgco/RateMySupervisor github similar
• math-comp/POPLmark github similar
• m0rphism/definitional github similar
• madgen/refinement-types-seminar github similar
• PLSysSec/veriwasm-verification github similar
• Coq-Polyhedra/Coq-Polyhedra github similar
• math-comp/tutorial_material github similar
• clayrat/modal-types github similar
• leuschel/logen github similar
• clayrat/sequent-calc-talk github similar
• levjj/esverify-theory github similar
• ankitku/TAL0 github similar
• thery/T2048 github similar
• bobatkey/system-f-parametricity-model github similar
• RobertHarper/hott-notes github similar
• kth-step/HolBA github similar
• jespercockx/popl19-tutorial github similar
• proofengineering/proofengineering-bib github similar
• arthuraa/extructures github similar
• ichistmeinname/free-proving github similar
• coq-community/semantics github similar
• nachivpn/nbe-course github similar
• hivert/Coq-Combi github similar
• gallais/pearl-binary-search github similar
• jmid/pbt-frameworks github similar
• verse-lab/ego github similar
• cedille/cedille-developments github similar
• coq-community/coq-100-theorems github similar
• OUPL/MLCert github similar
• damien-pous/relation-algebra github similar
• lemmy/lets-prove-blocking-queue github similar
• lostbearlabs/tiny-tlaplus-examples github similar
• adampetcher/fcf github similar
• jtassarotti/coq-proba github similar
• ku-fpg/hermit github similar
• prathyvsh/history-of-logic github similar
• molikto/mlang github similar
• adjoint-io/arithmetic-circuits github similar