The 4.2.0 release of Interval departs a bit from the previous versions in that it is no longer just about proving properties of real-valued expressions. It can now be used to investigate such properties visually, that is, it can now plot function graphs from inside Coq. The main difference with trad…

Interval 4.2, now with plotting

siraben July 28, 2021, 6:08am 17

Switching the Nix expression to use gnuplot_qt works!

Topic		Replies	Views
CoqInterval 4.0 released Announcements	0	885	June 17, 2020
Interval 4.5, now with root finding Announcements	1	582	March 31, 2022
Interval 4.6, now with decimal enclosures and floating-point rounding operators Announcements	0	376	October 27, 2022
MathComp 2.4.0 released Announcements ssreflect , mathcomp	0	23	April 14, 2025
Looking for Advice on Codifying Theoretical Math in Coq Miscellaneous	1	46	July 4, 2024