Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: New Software and Platforms


Finite maps and ordered types library

Keyword: Proof assistant

Functional Description: Support for reasoning about finite maps and ordered types

Release Functional Description: This release is solely an update of order.v and set.v in order to integrate the changes in math-comp/math-comp#270