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
Trakt 1.0 released Announcements	0	590	February 10, 2022
Notes from the CoqPL 2024 Q/A session Miscellaneous meeting	9	352	January 29, 2024
Listing and preserving formalized mathematical results in Coq Miscellaneous	0	640	August 30, 2020
Learning Real Analysis and Measure Theory together with Coq Miscellaneous	6	1650	June 10, 2022
CertiuCOS2 Using Coq	0	237	September 25, 2023