4 Jun
2001
4 Jun
'01
10:07 a.m.
On Sat, Jun 02, 2001 at 11:05:12PM +0000, luc wrote:
chapter 12 of birds book mention mike spivey' theorem prover. are there anything available in source code about proof in haskell ?
The calculator in the book is available on the book's web page http://web.comlab.ox.ac.uk/oucl/publications/books/functional/ I also have an improved version I can send on request (our web server was incinerated last week).