Similar repositories to smtcoq/smtcoq.github.io:

• smtcoq/smtcoq.github.io github similar
• tlringer/ml-for-proofs github similar
• DanBurton/haskell-src-meta github similar
• wilbowma/cur-control github similar
• conal/agda-cat-linear github similar
• FrozenWinters/SbE github similar
• atgeller/WASM-Redex github similar
• Chaaaos/formaltt github similar
• TOTBWF/cubical-categories github similar
• vcvpaiva/DialecticaCategories github similar
• umazalakain/typing-linear-pi github similar
• math-comp/Abel github similar
• frex-project/agda-fragment github similar
• jonsterling/agda-calf github similar
• granule-project/gerty github similar
• guillaumebrunerie/initiality github similar
• vrahli/NuprlInCoq github similar
• DimaSamoz/agda-soas github similar
• FrozenWinters/stlc github similar
• effectfully/OTT github similar
• grin-compiler/idris-grin github similar
• valis/hoq github similar
• TOTBWF/tactic-haskell github similar
• ultimate-pa/smtinterpol github similar
• AndrasKovacs/system-f-omega github similar
• dlicata335/cart-cube github similar
• mortberg/yacctt github similar
• sstucki/system-f-agda github similar
• gallais/generic-syntax github similar
• inQWIRE/QWIRE github similar
• andrejbauer/alg github similar
• digama0/lean-type-theory github similar
• dlicata335/hott-agda github similar
• xnning/EvEff github similar
• lexi-lambda/eff github similar
• wenkokke/schmitty github similar
• smtcoq/smtcoq github similar
• dvanhorn/redex-aam-tutorial github similar
• gallais/agdarsec github similar
• UniMath/TypeTheory github similar