Proof general /eclipse: A generic interface for interactive proof

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2005, Pages 1587-1588

  Winterstein, Daniel ^a   Aspinall, David ^a   Lüth, Christoph ^b  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33845249601     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (6)

1. P.Audebaud & L.Rideau. Texmacs as authoring tool for formal developments. In User Interfaces for Theorem Provers UITP'03, 2003.
2. Y.Bertot & L.Théry. A generic approach to building user interfaces for theorem provers. Journal of Symbolic Computation, 1998.
3. B.Buchberger. Theorema: A short introduction. Mathematica Journal, 8:247-252, 2001.
4. Eclipse Foundation. Eclipse platform technical overview. www.eclipse.org, 2003.
5. L.Dixon & J.Fleuriot. Isaplanner: A prototype proof planner in isabelle. In 19th International Conference on Automated Deduction, 2003.
6. L.Friendly. The design of distributed hyperlinked programming documentation. In International Workshop on Hypermedia Design '95, 1995.