horus-compile
Use formally verified annotations in your Cairo code
Activity
- Latest release
- 3y ago
- Total releases
- 2
- Cadence
- ~28 days
- Last 12 months
- 0
Details
- License
- Apache-2.0
- First release
- Feb 02, 2023
Releases
| Version | Released | |
|---|---|---|
0.0.6.13
patch
|
0.0.6.13
patch
Dependencies (6)
|
|
0.0.6.12
initial
|
0.0.6.12
initial
Dependencies (6)
|