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: Oct 03 2023 at 04:02 UTC