¡Certora ahora es de código abierto!

¿Cuál es tu excusa ahora para no asegurar tu protocolo, anon? https://t.co/JPqBR1JQ9p