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 been considered.

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.


	Makarius




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