candidate site / machinery / function applications / proof redirection algorithm / proof tool / /
OperatingSystem
Hurd / /
Organization
Jasmin Christian Blanchette Technische Universität München / /
Person
Metis / Christian Blanchette Technische Universität München / Jasmin Christian Blanchette Technische Universität / Steffen Juilf Smolka / Semi-Intelligible Isabelle Proofs / /