Login / Signup
Colouring Proofs: A Lightweight Approach to Adding Formal Structure to Proofs.
Laurent Théry
Published in:
Electron. Notes Theor. Comput. Sci. (2004)
Keyphrases
</>
lightweight
theorem proving
theorem prover
decision procedures
formal proof
dos attacks
development environments
equational theories
mathematical proofs
cost effective
modal logic
communication infrastructure
interactive theorem proving