PhD in formal verification/theoretical compsci | Research Engineer @informalsystems working on the Cosmos Hub
Repositories this builder owns.
Others building in the same ecosystem.
Most recently pushed work.
