👔
Doing formal methods
Doing a double bachelor in Computer Science and Mathematics at UCM
Highlights
- Pro
Earned achievements
Pair Extraordinaire
Pair Extraordinaire
Loading
Pull Shark
x2
Pull Shark
x2
Loading
Quickdraw
Quickdraw
![Achievement: Quickdraw](https://github.githubassets.com/assets/quickdraw-default-39c6aec8ff89.png)
Quickdraw
Gitty up!
History
100% unlocked
·
Unlocked
2023-04-30 00:05:56 UTC
cs3110/textbook#145 · Closed within 5 minutes of opening
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading