Back to directory
Paolo G. Giarrusso - Open Source Developer
@Blaisorblade
Formal Methods Engineer at Bedrock Systems Inc. — Iris/Coq/λ calculus/Haskell/Agda
Berlin, Germany
blaisorblade.github.io
206 followers
·
192 following
Contributed to 2 repositories
27 commits across the projects listed in this directory.
