Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
- coq-library
- real-number
- coq
- coq-ci
Repository Index
60,121 visible repositories in the index
1–3 of 3 · Most stars
Partial Commutative Monoids
- partial-commutative-monoid
- separation-logic
- coq
- coq-library
Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]
- coq
- complex-analysis
- real-analysis