GitHub - fpottier/coq-iteration: Mathematical concepts related to iteration · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 34 Commits
theories		theories
.gitignore		.gitignore
Makefile		Makefile
TODO.md		TODO.md
_CoqProject		_CoqProject
coq-iteration.opam		coq-iteration.opam
dune-project		dune-project

About

Mathematical concepts related to iteration

Report repository

Releases

No releases published

Packages

Contributors

Languages