Re: [isabelle] Partial Linear Arithmetic



Jens,

On Sat, 2009-01-31 at 09:21 +0100, Jens Doll wrote:
> Maybe some day Columbo will output Isabelle theory files automatically ...

I'm not sure what you're aiming to do exactly, but you might find the
"Why" tool (http://why.lri.fr/) interesting, and also Norbert Schirmer's
Ph.D. thesis (http://www4.in.tum.de/~schirmer/pub/schirmer-phd.html).

Regards,
Tjark






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.