A Formal Method playground for limboole, Z3, nuXmv, Alloy, Spectra, Dafny, and more...
TypeScript
19
8
MIT License
Total donated
Undistributed
Share with your subscribers:
Recipients
How the donated funds are distributed
Support the dependencies
Support the repos that depend on this repository
Top contributors
Recent events
Kivach works on the Obyte network, and therefore you can track all donations.
No events yet