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.


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