search

math-comp / mcb

Mathematical Components (the Book)
Other
140 stars 25 forks source link

Discourse about finite types #96

Closed amahboubi closed 4 years ago

amahboubi commented 4 years ago

Is 7.3 deprecated?