PhoX

swMATH9976MaRDI QIDQ21953FDOQ21953

Author name not available (Why is that?)

Official website: http://www.lama.univ-savoie.fr/~RAFFALLI/af2.html

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