Is there some story to axiomatize your own primitives that compute? More concretely, like Int63 was added recently to Coq, how much extra work would it be to also have Int64? Could it be done as a library?
Int63
Int64
Last updated: Feb 01 2023 at 13:03 UTC