Similar repositories to nachivpn/nbe-stlc:

• nachivpn/nbe-stlc github similar
• kwf/Presburger github similar
• danistefanovic/build-your-own-x github similar
• jonsterling/agda-abt github similar
• jonsterling/racket-grit github similar
• RobertHarper/hott-notes github similar
• RedPRL/sml-cats github similar
• jonsterling/sml-logical-framework github similar
• nbenton/coqdomains github similar
• andrejbauer/miniLCF github similar
• jonsterling/topos-theory-notes github similar
• groupoid/anders github similar
• dlicata335/cubicalexperiments github similar
• MatthewStein/adrenalina github similar
• nachivpn/syntactic-ni github similar
• wenkokke/side-effects-in-english github similar
• trifunovski/Resolution-Theorem-Prover github similar
• jonsterling/sml-pronominal-ml github similar
• jozefg/independence-of-the-continuum-hypothesis github similar
• jdublu10/pacman github similar
• jonsterling/coq-guarded-computational-type-theory github similar
• jonsterling/coq-meaning-explanation github similar
• jonsterling/sml-elaborating-typechecker github similar
• jonsterling/brouwer-translations github similar
• CHTT-s18/lecture-notes github similar
• mortberg/TypeTheory github similar
• gebner/lean4 github similar
• brownplt/lambdajs-coq github similar
• MathiasVP/Alpha github similar
• larrytheliquid/mltt-lecture github similar
• coq-contribs/finger-tree github similar
• LightAndLight/certified-lc github similar
• ezyang/groom github similar
• tootsuite/mastodon github similar
• JasonGross/slow-coq-examples github similar
• gallais/agda-pretty-notgreedy github similar
• UlrikBuchholtz/nominal-hott github similar
• AndrasKovacs/ind-ind-types github similar
• jonsterling/lecture-notes github similar
• barras/cic-model github similar