Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
Primary LanguagePythonMozilla Public License 2.0MPL-2.0
No one’s star this repository yet.