First Page | Document Content | |
---|---|---|
Date: 2006-11-16 07:15:36Proof assistants Logic in computer science Theoretical computer science Mathematical logic Isabelle HOL Logic for Computable Functions | Introduction System Description Evaluation Conclusions, Future Work Efficiently CheckingAdd to Reading ListSource URL: user.it.uu.seDownload Document from Source WebsiteFile Size: 383,43 KBShare Document on Facebook |