🦄
PostDoc at the University of Cambridge. Working on compilers and formal verification.
-
University of Cambridge
- Cambridge, UK
Highlights
- Pro
Starred repositories
3
stars
written in Python
Clear filter