.@CertoraInc let's get it done.
toly 🇺🇸
toly 🇺🇸23.5.2025
I would love if this was formally verified. I think a true onchain IPO would need to minimize risk across all parts of the price discovery process.
4,31K