Yarrow
Yarrow is an interactive proof assistant (proof editor) based on Pure Type
Systems. The whole system is written in Haskell.
- Developer:
Jan Zwanenburg
- Contact:
Jan Zwanenburg
Department of Mathematics and Computing Science
Eindhoven University of Technology
P.O.Box 513, 5600 MB Eindhoven
The Netherlands
Email: janz@win.tue.nl
- Number of Users:
around 3 (known users)
- Number of Sites:
2 sites
- In use:
1997--now
- Language:
Haskell
- Line count:
11000
- Compilers:
hbc (Chalmers) version 0.9999.3,
ghc (Glasgow) version 2.05
- Availability:
via the
Yarrow home page:
http://www.win.tue.nl/cs/pa/janz/yarrow/index.html
- Related Publications:
- Eric Raijmakers.
A Graphical User Interface for the Proof Assistant Yarrow.
Masters Thesis, Eindhoven University of Technology,
1997.
Available from Yarrow home page.
- Jan Zwanenburg.
The Proof-assistant Yarrow.
Submitted to the Journal of Functional Programming,
1997.
Available from Yarrow home page.