[isabelle] Goedel's Proof

Hello all,

having published Version 0.87 of my program Goedel I would like to ask the community for help:

*** Who is willing and able to produce Isabelle sources out of the 46+ functions, which I implemented in the C language?

It might be interesting for proof technology and looks quite simple: take the macros, use the C preprocessor and generate Isabelle functions from them.

Go ahead, it's thrilling ...


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