Similar repositories to gabriel-fallen/krivine-extended:

• danistefanovic/build-your-own-x github similar
• gabriel-fallen/krivine-extended github similar
• gabriel-fallen/rusty-krivine github similar
• true-grue/fortik github similar
• smorimoto/coq-to-ocaml-to-js github similar
• RobertHarper/hott-notes github similar
• jaycech3n/Isabelle-HoTT github similar
• vlopezj/coq-course github similar
• foreverbell/verified github similar
• philzook58/nand2coq github similar
• bjpop/ministg github similar
• pi8027/lambda-calculus github similar
• LPCIC/coq-elpi github similar
• uds-psl/coq-library-undecidability github similar
• DistributedComponents/disel github similar
• vkazanov/bytecode-interpreters-post github similar
• certichain/toychain github similar
• cubix-framework/cubix github similar
• chriskempson/base16 github similar
• jozefg/nbe-for-mltt github similar
• jozefg/pcf github similar
• ejgallego/coq-serapi github similar
• philzook58/z3_tutorial github similar
• ilyasergey/pnp github similar
• w0rm/elm-physics github similar
• wyc/armbot github similar
• uw-unsat/hyperkernel github similar
• RedPRL/redtt github similar
• conal/talk-2018-essence-of-ad github similar
• jscert/jscert github similar
• martinescardo/HoTT-UF-Agda-Lecture-Notes github similar
• andrejbauer/spartan-type-theory github similar
• LPCIC/elpi github similar
• ollef/sixty github similar
• nunoplopes/alive github similar
• microsoft/Ironclad github similar
• organix/pijFORTHos github similar
• pigworker/CS410-17 github similar
• stedolan/counterexamples github similar
• AndrasKovacs/elaboration-zoo github similar