[Haskell-cafe] ANN: theoremquest-0.0.0
rustompmody at gmail.com
Tue Mar 8 18:21:50 CET 2011
On Mar 8, 8:20 pm, Tom Hawkins <tomahawk... at gmail.com> wrote:
> > 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.
Dunno... I am far from being a theorem-prover buff/expert :-)
I know of Dijkstra-Scholten logic -- not as a formal logician but as a
But anyhow that (HOL) gives me some context and sense of direction --
More information about the Haskell-Cafe