bend-ml-nat-lemmas
bend-ml-nat-lemmas: Nat and List lemmas, proved, that Bend's Base does not have.
Owner: nuxyel
Versions
| Version | Hash | Status | Named on |
|---|---|---|---|
| 0.1.1.0 latest | 0x2bbe4207657ea8b1158567d930651411 |
checks | 2026-10-04 |
| 0.1.0.0 | 0xa7aa06c09e97c6747c12cc64bb5203d9 |
checks | 2026-10-03 |
Changes between versions
0.1.0.0→0.1.1.0: no API changes