- ๐ Hi, Iโm @ankitku
- ๐ Iโm interested in formal methods, automated theorem proving, distributed systems and programming languages.
- ๐ซ How to reach me : https://ankitku.github.io
ankitku / gradescope-acl2s Goto Github PK
View Code? Open in Web Editor NEWLibrary to automate grading of ACL2s forms in Gradescope