Expand description
Schubert intersection type system for the Industrial Algebra ecosystem.
karpal-schubert-types (Phase 14) wraps amari-enumerative’s Schubert
calculus as type-level markers for use in Karpal’s proof and verification
infrastructure.
Re-exports§
pub use intersection::Intersection;pub use intersection::IntersectionKind;pub use intersection::check_intersection;pub use schubert_proven::SchubertProven;pub use schubert_proven::compose_checks;pub use schubert_type::SchubertType;pub use schubert_typed::SchubertTyped;pub use verification::schubert_bundle;pub use verification::verify_schubert;
Modules§
- intersection
- schubert_
proven - schubert_
type - schubert_
typed - verification
- External verification integration for Schubert calculus.