😊
i can fix him (he's GitHub)
PhD student studying PL/FM.
I like building useful abstractions to make programming easier, and formal verification heavily guides that process for me :-)
-
Carnegie Mellon
- Pittsburgh, PA
- gallicch.io
- @james@types.pl
Highlights
- Pro
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.