Name		Name	Last commit message	Last commit date
Latest commit History 29 Commits
.github/workflows		.github/workflows
src-hs		src-hs
src-ml		src-ml
src		src
theories		theories
web		web
.gitignore		.gitignore
.ocamlformat		.ocamlformat
Makefile		Makefile
README.md		README.md
_CoqProject		_CoqProject
_config.yml		_config.yml
dune-project		dune-project
three_coloring_problem.opam		three_coloring_problem.opam