- formalize that Peek and Poke are inverse functions
- try to verify interaction with automatic theorem provers
- if necessary, verify the rest with an interactive theorem prover
- document possible difficulties
List view
0 issues of 0 selected
There are no open issues in this milestone
Add issues to milestones to help organize your work for a particular release or project. Find and add issues with no milestones in this repo.