Igor Braga
1 talk by Igor Braga
Designing for Change: The Modular Architecture of Zircuit Prover