move SuccessorStructure.v over to using Int - Githubissues

HoTT / Coq-HoTT

A Coq library for Homotopy Type Theory

http://homotopytypetheory.org/

Other

1.25k stars 193 forks source link

move SuccessorStructure.v over to using Int #2027

Closed Alizter closed 2 months ago

Alizter commented 2 months ago

SuccessorStructure.v was still using BinInt we switch it over to Int.