@theoremts/contracts-bignumber
Theorem contracts for bignumber.js — formal verification for arbitrary-precision arithmetic
View on Github
Activity
- Latest release
- 5mo ago
- Total releases
- 1
- Cadence
- —
- Last 12 months
- 1
Reach
- Stars
- —
Details
- License
- MIT
- First release
- Apr 10, 2026