Pinned Repositories
alt-ergo
OCamlPro public development repository for Alt-Ergo
Dedukti
Implementation of the λΠ-calculus modulo rewriting
dune
A composable build system for OCaml.
isabelle_dedukti
Isabelle component for dedukti
lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting
Logipedia
An encyclopedia of proofs
malfunction
Malfunctional Programming
metacoq-docs
Some documentation for the definitions and predicates in MetaCoq
sslib
wip library for modifying files in skyward sword
yannl35133's Repositories
yannl35133/metacoq-docs
Some documentation for the definitions and predicates in MetaCoq
yannl35133/sslib
wip library for modifying files in skyward sword
yannl35133/alt-ergo
OCamlPro public development repository for Alt-Ergo
yannl35133/Dedukti
Implementation of the λΠ-calculus modulo rewriting
yannl35133/dune
A composable build system for OCaml.
yannl35133/isabelle_dedukti
Isabelle component for dedukti
yannl35133/lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting
yannl35133/Logipedia
An encyclopedia of proofs
yannl35133/malfunction
Malfunctional Programming
yannl35133/minijazz
The MiniJazz compiler
yannl35133/minilustre-compiler
yannl35133/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
yannl35133/SS-Rando-logic-scripts
yannl35133/SS-Randomizer-Tracker
Tracker for the Skyward Sword Randomizer
yannl35133/sysnum-2020
yannl35133/vscode-ocaml-platform
Visual Studio Code extension for OCaml
yannl35133/with-space
yannl35133/z3
The Z3 Theorem Prover