Similar repositories to jashug/IWTypes:

• jashug/IWTypes github similar
• amintimany/NbE github similar
• epfl-lara/SystemFR github similar
• ejgallego/coq-plugin-template github similar
• awalterschulze/regex-reexamined-coq github similar
• andreasabel/ipl github similar
• thery/T2048 github similar
• proofengineering/proofengineering-bib github similar
• coq-community/coq-nix-toolbox github similar
• RobertHarper/hott-notes github similar
• LightAndLight/idris-but-its-c github similar
• artagnon/bonak github similar
• yav/presburger github similar
• jaycech3n/Isabelle-HoTT github similar
• pedagand/MPRI-2.4-DTP github similar
• JasonGross/coq-tools github similar
• cedille/cedille-developments github similar
• dlicata335/cart-cube github similar
• tchajed/coq-record-update github similar
• ejgallego/pycoq github similar
• cmu-phil/Spectral github similar
• fizruk/rzk github similar
• garrigue/certint github similar
• FrozenWinters/stlc github similar
• uwplse/pumpkin-pi github similar
• coq-community/paramcoq github similar
• unicoq/unicoq github similar
• mjambon/cmdliner-cheatsheet github similar
• wilcoxjay/mypyvy github similar
• WasmCert/WasmCert-Coq github similar
• mortberg/yacctt github similar
• math-comp/hierarchy-builder github similar
• pi8027/lambda-calculus github similar
• LPCIC/coq-elpi github similar
• uds-psl/coq-library-undecidability github similar
• amintimany/Categories github similar
• flypitch/flypitch github similar
• HoTT/EPIT-2020 github similar
• wo/tpg github similar
• jozefg/nbe-for-mltt github similar