Similar repositories to jonsterling/remark-on-hypothetical-judgment:

• gibiansky/IHaskell github similar
• jonsterling/coq-meaning-explanation github similar
• jonsterling/brouwer-translations github similar
• jonsterling/remark-on-hypothetical-judgment github similar
• jonsterling/sml-ifol-completeness github similar
• jonsterling/bar-induction-slides github similar
• jonsterling/purescript-abt github similar
• nbenton/coqdomains github similar
• jonsterling/purescript-lcf github similar
• RedPRL/sml-lcf github similar
• mir-ikbch/homtrs github similar
• slamdata/purescript-aff-reattempt github similar
• jonsterling/agda-bar-induction github similar
• SydneyTypes/PLATYPUS github similar
• mortberg/TypeTheory github similar
• gebner/lean4 github similar
• jonsterling/agda-abt github similar
• kristinas/hinitiality github similar
• UlfNorell/category-theory-experiments github similar
• maxsnew/grammars-and-semantic-actions github similar
• david-christiansen/jonprl-mode github similar
• DmxLarchey/ite-normalisation github similar
• AndrasKovacs/qiit-generalizations github similar
• mikeshulman/cohesivett github similar
• nachivpn/nbe-stlc github similar
• jonsterling/agda-effectful-forcing github similar
• RedPRL/sml-dependent-lcf github similar
• jyp/sctt github similar
• jonsterling/sml-modernized-algol github similar
• jonsterling/sml-logical-framework github similar
• mikeshulman/dirtt github similar
• mattam82/Forcing github similar
• RobertHarper/hott-notes github similar
• ericfinster/opetopes-in-agda github similar
• jonsterling/lcf-sequent-calculus-example github similar
• JasonGross/lob github similar
• msullivan/typecoin github similar
• JohnReppy/compiling-pattern-guards github similar
• RedPRL/sml-typed-abts github similar
• jonsterling/coq-guarded-computational-type-theory github similar