Autosubst 2, OCaml implementation

Meta

Authors:
- Adrian Dapprich
Contributors:
- Andrej Dudenhefner
- Yannick Forster
- Meven Lennon-Bertrand
- Audrey Seo
- Chris Lam
- Ana Borges
Maintainer:
- Yannick Forster (@yforster)
License: MIT License
Compatible Coq versions: 8.19.0
Related publication(s):
- Adrian Dapprich's bachelor thesis (Advisor: Andrej Dudenhefner, Supervisor: Gert Smolka)

Name		Name	Last commit message	Last commit date
Latest commit History 319 Commits
.github/workflows		.github/workflows
bin		bin
case-studies		case-studies
lib		lib
memos		memos
monadic		monadic
phoas_sigs		phoas_sigs
share/coq-autosubst-ocaml		share/coq-autosubst-ocaml
signatures		signatures
traced		traced
.DS_Store		.DS_Store
.gitignore		.gitignore
.ocamlinit		.ocamlinit
Dockerfile		Dockerfile
LICENSE		LICENSE
README.md		README.md
coq-autosubst-ocaml.opam		coq-autosubst-ocaml.opam
dune-project		dune-project
entrypoint.sh		entrypoint.sh
generate-opam.sh		generate-opam.sh
generate.sh		generate.sh
packages.txt		packages.txt