0x7205ddce checks
0x7205ddcee53cfdb6b62686553b824b13
Core module
Anonymous package: import it by hash.
- Published
- 2026-09-23
- Size
- 1,373 bytes, 6 files
- License
- MIT (LICENSE)
- Declarations
- 0 laws (0 proved), 0 defs, 0 types
Import
import 0x7205ddcee53cfdb6b62686553b824b13/core/basic.bend as Basic import 0x7205ddcee53cfdb6b62686553b824b13/core/constants.bend as Constants import 0x7205ddcee53cfdb6b62686553b824b13/core/exp.bend as Exp import 0x7205ddcee53cfdb6b62686553b824b13/core/trig.bend as Trig import 0x7205ddcee53cfdb6b62686553b824b13/main.bend as Main
Modules
- core/basic.bend 0 declarations — Core module
- core/constants.bend 0 declarations — Constants
- core/exp.bend 0 declarations — exp
- core/trig.bend 0 declarations — Trig
- main.bend 0 declarations — Public entry point for the math package.
Other files
- LICENSE 1,062 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 |
|---|---|---|---|
| core/basic.bend | checks | ALL PROOFS CHECK | 0.2 s |
| core/constants.bend | checks | ALL PROOFS CHECK | 0.2 s |
| core/exp.bend | checks | ALL PROOFS CHECK | 0.1 s |
| core/trig.bend | checks | ALL PROOFS CHECK | 0.2 s |
| main.bend | checks | ALL PROOFS CHECK | 0.8 s |