Similar repositories to jonsterling/sml-logical-framework:

• jonsterling/sml-logical-framework github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• nbenton/coqdomains github similar
• ToTal/total github similar
• jonsterling/sml-pronominal-ml github similar
• tootsuite/mastodon github similar
• jozefg/independence-of-the-continuum-hypothesis github similar
• RedPRL/sml-cats github similar
• yannham/visual-goi github similar
• thsutton/cha github similar
• joom/thesis-modal github similar
• jonsterling/topos-theory-notes github similar
• cocreature/pfpl-redex github similar
• jonsterling/lcf-sequent-calculus-example github similar
• nachivpn/nbe-stlc github similar
• dankoi/metamath github similar
• msullivan/typecoin github similar
• RobertHarper/hott-notes github similar
• andreasabel/ipl github similar
• amintimany/CTDT github similar
• jozefg/fibrational-semantics github similar
• dlicata335/cubicalexperiments github similar
• jespercockx/tensors github similar
• jyp/sctt github similar
• jozefg/miniprl github similar
• jonsterling/agda-abt github similar
• jonsterling/sml-modernized-algol github similar
• nachivpn/syntactic-ni github similar
• oisdk/finiteness-in-cubical-type-theory github similar
• mortberg/TypeTheory github similar
• EgbertRijke/GraphModel github similar
• larrytheliquid/spire github similar
• ekmett/suspension github similar
• andrejbauer/miniLCF github similar
• joom/modal github similar
• heades/cut-fill-agda github similar
• twanvl/ttie github similar
• andreasabel/helf github similar
• vrahli/NuprlInCoq github similar