Excited about too many things
Research Engineer at @informalsystems working on Quint
- Joinville, SC - Brazil
-
05:40
(UTC -03:00) - @bugarela
- @bugarela@types.pl
Search results
0 open and 0 closed projects found.-
There aren't any projects yet