Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Cannot Build the Coq Proof #25

Open
ANJSoundSystem opened this issue Jan 4, 2024 · 0 comments
Open

Cannot Build the Coq Proof #25

ANJSoundSystem opened this issue Jan 4, 2024 · 0 comments

Comments

@ANJSoundSystem
Copy link

Using Coq 8.12 as indicated, I cannot compile the coq proof, on none of the branch version.
Specifically for the most complete(closest to the Microsoft CheckedC) version of formalization among them, that is the one in the master branch, the complained error is that Coq cannot find stack_grow_prop.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@ANJSoundSystem