Proof Database

• I-Semiring
• I-Semiring with Tests
• I-Semiring with Domain
• Modal I-Semiring


• Kleene Algebra
• Kleene Algebra with Tests
• Kleene Algebra with Domain
• Modal Kleene Algebra


• Omega Algebra
• Omega Algebra with Tests


• Left I-Semiring


• Left Kleene Algebra


• Left Omega Algebra


• Demonic Refinement Algebra


• Monodic Tree Algebra


• Boolean Algebra
• Boolean Algebra with Operators
• Relation Algebra


• Feature Algebra (Product Lines and Product Families)
• Feature Algebra (Object-Oriented Programming)
• Miscellaneous


• ALL classes