search

coq-community / math-classes

A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
https://math-classes.github.io
MIT License
160 stars 43 forks source link

Remove deprecated files in Coq.Arith #121

Closed Villetaneuse closed 11 months ago

Villetaneuse commented 11 months ago

Necessary for Coq/Coq:#18164

Villetaneuse commented 11 months ago

@spitters sorry to bother you, this is to remove some deprecated files in the stdlib.

Villetaneuse commented 11 months ago

Thank you very much!