Coqtail Math
Library of mathematical results ranging from arithmetic to real and complex analysis.
- from
- Coq
- added
- 2026-10-10
- likes
- 0
Coq › Projects > Type Theory and Mathematics: “Library of mathematical results ranging from arithmetic to real and complex analysis.”