PhoX

swMATH9976MaRDI QIDQ21953FDOQ21953

Author name not available (Why is that?)

Cited In (5)

• The seventeen provers of the world. Foreword by Dana S. Scott..
• System ST toward a type system for extraction and proofs of programs
• A synthesis of the procedural and declarative styles of interactive theorem proving
• Declarative representation of proof terms
• Getting results from programs extracted from classical proofs

This page was built for software: PhoX