Geeks
sidprasad
/
RewriteVerificationSystem
Certified Rewrite Verifer
Primary Language
Prolog
RewriteVerificationSystem GitHub
Markdown
Readme
0
Issues
1
Stargazer
2
Watchers
Stargazers
sclark01
New York, NY