Geometric region embeddings for knowledge graph subsumption (Python bindings for the subsume Rust crate)
Describe processes as type transformations, with inference that supports subtypes and parametric polymorphism. Create and query corresponding transformation graphs.
A library for type inference and graph production.
