Stream: Coq users

Topic: Custom primitives

view this post on Zulip 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: Jun 16 2024 at 03:41 UTC