Separata: Isabelle tactics for Separation Algebra

From MaRDI portal


MaRDI QIDQ7361360FDO


Authors Zhe Hou, David Sanan, Alwen Tiu, Rajeev Gore, Ranald Clouston

Publication date 16 November 2016








This page was built for software: Separata: Isabelle tactics for Separation Algebra

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Separata:_Isabelle_tactics_for_Separation_Algebra&oldid=105365108"
Powered by MediaWiki