A Constructive Proof of the Heine-Borel Covering Theorem for Formal Reals.

Jan Cederquist Sara Negri

Published in: TYPES (1995)

Keyphrases

interactive theorem proving
markov decision processes
constraint databases
formal model
theorem proving
formal methods
genetic algorithm
knowledge base
formal specification
formal models
von neumann
mathematical proofs