hevm doesn't get nearly as much attention as it deserves. They just keep shipping, with contributions from people relying on it in production for FV and security
We can now fully rewrite most software in @leanprover and prove it correct:
- Compiler module rewrite (AI) from Rust to Lean
- Full FFI integration
- All unit and integration tests pass
- Formal spec and proofs!!
- Under 20h wall time (unnoticed pauses)
Show more
Could not have said this better. Solidity and Vyper need to be funded properly, as the production tools they are, instead of having their potential funding wasted on infinite efforts to build toy langs.
Show more
