[Haskell-cafe] ANN: theoremquest-0.0.0

Tom Hawkins tomahawkins at gmail.com
Tue Mar 8 16:20:34 CET 2011


> I am curious -- how easy is it to use theoremquest for playing with
> equational theories?

Let me turn the question around:  How easy is it to play with
equational theories in HOL Light?  Because this is the planed basis
for TheoremQuest.

-Tom



More information about the Haskell-Cafe mailing list