coq-mathcomp-experimental-reals Versions (7)

Version Release Date Links
1.13.0 19 Aug 2025 Documentation
1.12.0 07 Jul 2025 Documentation
1.11.0 02 May 2025 Documentation
1.10.0 22 Apr 2025 Documentation
1.9.0 20 Feb 2025 Documentation
1.8.0 19 Dec 2024 Documentation
1.7.0 22 Nov 2024 Documentation