Skip to content

Rari-Capital/nova-invariants

Repository files navigation

nova-invariants

Formal verification and fuzzing of Nova with DappTools.

Getting Started

git clone https://github.com/Rari-Capital/nova-invariants.git
cd nova-invariants
make

About

Formal verification and fuzzing of Nova with DappTools.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published