lib:half-space
Modules
Dependencies
- base lib:base >=4.10 && <4.19
- call-stack lib:call-stack >=0.3 && <0.5
- equational-reasoning lib:equational-reasoning >=0.7 && <0.8
- manifolds-core lib:manifolds-core >=0.6 && <0.7
- vector-space lib:vector-space >=0.16 && <0.17
Reverse dependencies
Direct only. Not exhaustive.
- manifolds lib:manifolds