Proof Pearl: Using Combinators to Manipulate let-Expressions in Proof.

Michael Norrish Konrad Slind

Published in: TPHOLs (2005)

Keyphrases

theorem prover
theorem proving
mathematical proofs
multiscale
natural language
probability distribution
geometry theorem proving