Informal Systems Logo
Dev Update: Apalache
2021-03-08
Igor Konnov, Ethan Buchman
Engineering, Research
Blog post's featured image
Start your career with Informal Systems
Apply Now
Informal Systems Logo
Our R&D powers and secures the Interchain.