Quati
From MaRDI portal
Software:22013
No author found.
Related Items (4)
A linear logic framework for multimodal logics ⋮ Sequoia: A Playground for Logicians ⋮ Quati: An Automated Tool for Proving Permutation Lemmas ⋮ A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems
This page was built for software: Quati
