Re: [isabelle] Isabelle Foundation & Certification
On Sun, 20 Sep 2015, "Mark Adams" wrote:
And the risk of a trojan horse inference kernel or pretty printer hasn't
But then I don't think you were attempting to be complete.
Indeed. All of this mostly talks about the "logical core", whatever its
internal structure is precisely.
Around the core there are many more aspects, where users can do non-sense,
or the system could be wrong.
This archive was generated by a fusion of
Pipermail (Mailman edition) and