PhoX
From MaRDI portal
Cited in
(5)- System ST toward a type system for extraction and proofs of programs
- Getting results from programs extracted from classical proofs
- A synthesis of the procedural and declarative styles of interactive theorem proving
- The seventeen provers of the world. Foreword by Dana S. Scott..
- Declarative representation of proof terms
This page was built for software: PhoX
