Re: [isabelle] Where to learn about HOL vs FOL?



Hi Larry,

>I gather that the Coq kernel also contains a big chunk of
>C code. Surprising, to say the least.

Not if you consider Coq to be a functional language that
you want to execute as fast as possible.

Freek





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