Re: [isabelle] [isabelle-dev] Circular reasoning via multithreading seems too easy

On 11/12/16 23:17, Makarius wrote:
> listening carefully. I do that myself when
> talking to the colleagues behind the other systems (HOL4, HOL-Light,
> Coq, ACL2, ProofPower).

Here is actually an opportunity to listen (in German): from minute 27:32 -- a
question in the off about HOL-Light's "kleiner Kern" that leads to an
abstract explanation about prover (in)correctness by myself.


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