Pinned Repositories
ASMPres
B-pog-translator
Translate a POG file into a lambdapi file
Bull
Bull-Subtyping
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
cstolze.github.io
Personal page
opam-repository
Main public package repository for opam, the source package manager of OCaml.
partial-session-types-prototype
Proof-of-concept implementation of a proposed merging algorithm for partial session types
PhD
My PhD manuscript
tla-lambdapi
cstolze's Repositories
cstolze/Bull
cstolze/Bull-Subtyping
cstolze/ASMPres
cstolze/B-pog-translator
Translate a POG file into a lambdapi file
cstolze/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
cstolze/cstolze.github.io
Personal page
cstolze/opam-repository
Main public package repository for opam, the source package manager of OCaml.
cstolze/partial-session-types-prototype
Proof-of-concept implementation of a proposed merging algorithm for partial session types
cstolze/PhD
My PhD manuscript
cstolze/tla-lambdapi
cstolze/zenon_modulo
First-order automated theorem prover based on the tableau method