Home My Page Projects Coq.Interval
Summary Activity SCM Files

Project Filelist for Coq.Interval

File Release Notes and Changelog

Release Name: 3.2.0

Change Log
Version 3.2.0:
 - added support for some improper integrals using RInt_gen