Home My Page Projects Flocq
Summary Activity Tracker News SCM Files

Project Filelist for Flocq

File Release Notes and Changelog

Release Name: 2.6.0

Change Log
Version 2.6.0:
 - ensured compatibility from Coq 8.4 to 8.7
 - removed some hypotheses on some lemmas of Fcore_ulp
 - added lemmas to Fprop_plus_error
 - improved examples