Skip to content
This repository has been archived by the owner on Aug 23, 2022. It is now read-only.

Change size_t representation in Coq model #42

Open
jadephilipoom opened this issue Jul 25, 2019 · 0 comments
Open

Change size_t representation in Coq model #42

jadephilipoom opened this issue Jul 25, 2019 · 0 comments
Assignees
@jadephilipoom

Comments

@jadephilipoom
Copy link
Contributor

Currently it's represented by nat, which is the theoretical-mathematics version of a natural number, but it would be better to use N, the binary version, since we're never doing mathematical induction on it and it would save silly work converting between the two.
@jadephilipoom jadephilipoom self-assigned this Jul 25, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@jadephilipoom jadephilipoom

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@jadephilipoom