https://muratkasimov.art [email protected]
zkFold เชียงใหม่ I'm a software engineer who solves real-world problems by using formal methods to build safe and elegant programs as much as possible.
Murat Kasimov
Get all your structure and rip it apart.
iokasimov
Well-typed paths