search

DeepSpec / InteractionTrees

A Library for Representing Recursive and Impure Programs in Coq
MIT License
194 stars 49 forks source link

Adapt to Coq/Coq#18164 #260

Closed Villetaneuse closed 8 months ago

Villetaneuse commented 8 months ago

We want to remove some deprecated Arith files and NPeano from the stdlib.

Villetaneuse commented 8 months ago

@Lysxia Sorry to bother you, are you maintainer here?

Lysxia commented 8 months ago

Yes I am! Thanks for the commit!

Villetaneuse commented 8 months ago

@Lysxia thank you very much for this quick answer!