First Page | Document Content | |
---|---|---|
Date: 2007-02-23 07:52:45Theoretical computer science Proof assistants Logic in computer science Mathematics Mathematical logic Formal methods Isabelle HOL Automated theorem proving Ordinal number Theorem | Introduction Core Features Selected Extensions Conclusion Isabelle/HOL:Add to Reading ListSource URL: user.it.uu.seDownload Document from Source WebsiteFile Size: 418,36 KBShare Document on Facebook |