Back to search
Top Contributors
17
commits
Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct
Stars
17
Forks
1
Watchers
17
Open Issues
0
Overall repository health assessment
No package.json found
This might not be a Node.js project
17
commits