Verity

https://github.com/lfglabs-dev/verity

Verity is a formally verified smart contract compiler written in Lean 4 that enables developers to...

Tokens:85,464
Snippets:796
Trust Score:9.9
License:MIT
Update:3 months ago
Tokens:
Raw