GitHub - zstone1/coq-complex: A complex analysis library in Coq, based on Coqueliqot · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 82 Commits
.vscode		.vscode
src		src
.gitignore		.gitignore
.lia.cache		.lia.cache
.nra.cache		.nra.cache
CoqMakefile		CoqMakefile
CoqMakefile.conf		CoqMakefile.conf
_CoqProject		_CoqProject

About

A complex analysis library in Coq, based on Coqueliqot

Report repository

Releases

No releases published

Packages

Contributors

Languages

Rocq Prover 100.0%