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

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


On 6 Feb 2013, at 19:21, Makarius <makarius at> wrote:

> And of course, Coq is not untrustable just because it is using OCaml. The French colleagues understand the problems and made their homework, but it also introduces complexities.  People like Bruno Barras could tell you more.

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