🎰
2023-2026: Formal Methods @input-output-hk, 2019-2023: PhD @ University of Edinburgh, Interests: Programming Languages, Type Theory, Formal Verification
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.





