Home My Page Projects Coq.Interval
Summary Activity SCM Files

Project Filelist for Coq.Interval

File Release Notes and Changelog

Release Name: 3.3.0

Change Log
Version 3.3.0:
 - added option i_integral_width for absolute width of integrals
 - improved accuracy for interval cos and sin away from zero
 - ensured compatibility from Coq 8.5 to Coq 8.7