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):
https://www.youtube.com/watch?v=R8pyFwil9KY 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