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	889	June 17, 2020
Notes from the CoqPL 2024 Q/A session Miscellaneous meeting	9	600	January 29, 2024
[ANN] coq-lsp 0.1.9 Announcements serapi , coq-lsp , ui	0	187	May 31, 2024
Machine learning and hammers for Coq Using Rocq	45	7134	June 6, 2022
Alpha Announcement: Coq is a Lean Typechecker Announcements	7	12267	May 6, 2024