SSTT: Simple Set-Theoretic Types library
Abstract
SSTT (Simple Set-Theoretic Types) is an OCaml library for manipulating set-theoretic types, supporting semantic subtyping, DNF extraction, substitution, tallying, and other related operations.
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 21 February 2026