RALL
From MaRDI portal
Software:20514
swMATH8505MaRDI QIDQ20514FDOQ20514
Author name not available (Why is that?)
Cited In (9)
- Typing theorems of omega algebra
- An Efficient Coq Tactic for Deciding Kleene Algebras
- RALL: Machine-supported proofs for relation algebra
- Automated Verification of Relational While-Programs
- Title not available (Why is that?)
- Title not available (Why is that?)
- An efficient relational deductive system for propositional non-classical logics
- Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL
- Deciding Kleene algebras in \texttt{Coq}
This page was built for software: RALL
