Ergo 6
From MaRDI portal
Software:30420
swMATH18584MaRDI QIDQ30420FDOQ30420
Author name not available (Why is that?)
Cited In (6)
- Formal Techniques for Networked and Distributed Systems - FORTE 2003
- Using theory interpretation to mechanise the reals in a theorem prover
- Title not available (Why is that?)
- Ergo 6: A Generic Proof Engine that Uses Prolog Proof Technology
- Title not available (Why is that?)
- Axiomatisation of an interval calculus for theorem proving
This page was built for software: Ergo 6
