Last released Oct 9, 2024
Static verifier for Python 3, based on Viper.
Last released May 18, 2021
Static verifier for Vyper, based on Viper.
Supported by