batterseapower / lattices
Fine-grained lattice primitives for Haskell
☆18Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for lattices
- Symbolic logic expressions☆14Updated 4 years ago
- A type theory based theorem proving library☆25Updated 13 years ago
- Haskell port of the Tensor Algebra COmpiler