Similar Items: Formal Theories for Linear Algebra
- Formalized linear algebra over Elementary Divisor Rings in Coq
- Algebraic Language Theory for Eilenberg--Moore Algebras
- Weighted Logics for Nested Words and Algebraic Formal Power Series
- The Formal Theory of Monads, Univalently
- A Theory of Formal Choreographic Languages
- Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination