A basic tool to dump Coq object files
Stars
1
Forks
0
Watchers
Open Issues
Overall repository health assessment
No package.json found
This might not be a Node.js project
User
4
commits
Adapt to the new Coq file representation.
c2ba209
Prepend pointer addresses with 0x.
2b2a214
Fix order of printing of block fields.
be77a96
Init commit.
4422890