Implementation of Yarrow

Currently, there are four papers available on the implementation of Yarrow.

• Jan Zwanenburg. Chapter 3 of Object-Oriented Concepts and Proof Rules: Formalization in Type Theory and Implementation in Yarrow. Ph.D. thesis. Eindhoven University of Technology, 1999. Available as Postscript (3.5 Mb) or Compressed Postscript (920 Kb).
• Eric Raijmakers. A Graphical User Interface for the Proof Assistant Yarrow. Masters Thesis, Eindhoven University of Technology, 1997.
  Available as Postscript (4.5 Mb) or Compressed Postscript (360 Kb).
• Jan Zwanenburg. The Proof-assistant Yarrow
  Computing Science Report CS-98-11, Eindhoven University of Technology, 1998.
  Available as Postscript (1 Mb) and Compressed Postscript (75 Kb).
  (Superseded by the thesis of Jan Zwanenburg.)
• Jan Zwanenburg. Aspects of the Proof-assistant Yarrow
  Informal Proceedings for the workshop User Interfaces for Theorem Provers 1998, 1998.
  Available as Postscript (1 Mb) and Compressed Postscript (57 Kb).
  (Superseded by the thesis of Jan Zwanenburg.)

Back to Yarrow Home Page