|
From: Kai K. <Kai...@ir...> - 2003-08-04 12:00:06
|
Hi, does anyboy know any publication(s) about the actual security of proofs in HOL98 ? Thanks a lot for any hint... Greetings, Kai -- Kai Kapp Institut fuer Rechnerentwurf und Fehlertoleranz Kai...@ir... Universitaet Karlsruhe Phone: +49-721/608-4217 Fax: +49-721/608-3962 |