Stream: Coq users

Topic: Custom primitives

Li-yao (Jul 20 2020 at 21:30):

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?

Last updated: Oct 13 2024 at 01:02 UTC