RALL
From MaRDI portal
Software:20514
No author found.
Related Items (9)
Deciding Kleene Algebras in Coq ⋮ Unnamed Item ⋮ Typing theorems of omega algebra ⋮ Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL ⋮ Unnamed Item ⋮ Automated Verification of Relational While-Programs ⋮ An Efficient Coq Tactic for Deciding Kleene Algebras ⋮ An efficient relational deductive system for propositional non-classical logics ⋮ RALL: Machine-supported proofs for relation algebra
This page was built for software: RALL
