elicitation_kani
Kani model-checking proofs for elicitation contract types
- Latest release
- Jun 03, 2026
- Releases
- 7
- Known CVEs
- 0
- First release
- Feb 23, 2026
- License
- Apache-2.0 OR MIT
Repository
Source
- Stars
- —
- Forks
- —
- Open issues
- —
Security score
No OpenSSF Scorecard available for this repository.
Packages from this repo
Insights
Activity
- Total releases
- 7
- Last 12 months
- 7
- Cadence
- ~10 days
- Dependencies
- 26
Releases per month
last 12 monthsRelease mix
- minor 3
- patch 3
7
releases
Releases