Composable Packages for Higher Order Logic Theories Joe Hurd Galois, Inc. Abstract Interactive theorem proving is tackling ever larger formalization and verification projects, and - Computable model theory - Document - PDFSEARCH.IO

First Page	Meta Content
	Composable Packages for Higher Order Logic Theories Joe Hurd Galois, Inc. Abstract Interactive theorem proving is tackling ever larger formalization and verification projects, and Add to Reading List Document Date: 2010-07-21 04:29:06 Open Document File Size: 242,92 KB Share Result on Facebook Company Higher Order Logic Theories Joe Hurd Galois Inc. / Bernstein / / / IndustryTerm lazy theorem infrastructure / package management / proof tools / online repositories / term software / term solution / theory infrastructure / software engineering technique / proof tool / / OperatingSystem Hurd / / Organization HOL / / Person Joe Hurd / / Position official / / ProgrammingLanguage C / ML / Standard ML / / Technology simulation / operating system / operating systems / / URL http / SocialTag Model theory Logic in computer science Automated theorem proving Concepts Philosophy of science Logic for Computable Functions Proof assistant Theory HOL Logic

Composable Packages for Higher Order Logic Theories Joe Hurd Galois, Inc. Abstract Interactive theorem proving is tackling ever larger formalization and verification projects, andAdd to Reading List