bend-ml-nat-lemmas@0.1.1.0 checks
0x2bbe4207657ea8b1158567d930651411
bend-ml-nat-lemmas: Nat and List lemmas, proved, that Bend's Base does not have.
bend-ml-nat-lemmas@0.1.1.0 by nuxyel
Earlier versions (1)
- bend-ml-nat-lemmas@0.1.0.0 2026-10-03
- Published
- 2026-10-04
- Size
- 8,329 bytes, 2 files
- License
- MIT (LICENSE)
- Declarations
- 15 laws (15 proved), 2 defs, 0 types
Import
import bend-ml-nat-lemmas@0.1.1.0/main.bend as Main import 0x2bbe4207657ea8b1158567d930651411/main.bend as Main
Modules
- main.bend 17 declarations, 15 laws — bend-ml-nat-lemmas: Nat and List lemmas, proved, that Bend's Base does not have.
Other files
- LICENSE 1,102 bytes
Dependencies
No imports from other hub packages.
Dependents
No package in this build imports it.
Status on bend 2.0.36
| File | Status | Checker says | Time |
|---|---|---|---|
| main.bend | checks | ALL PROOFS CHECK | 0.4 s |