π I am an undergraduate student, interested in creating semi-automated theorem provers...
Earned achievements
Pull Shark
Pull Shark
Loading
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading
Starstruck
Starstruck
Loading