Not registered as user yet

Name:Alon Titelman
Affiliation:Starkware Industries Ltd.

Contributions

CPP 2022 Author of A verified algebraic representation of Cairo program execution within the CPP 2022-track