Programs as proofs.

Jørgen Steensgaard-Madsen

Published in: CoRR (2015)

Keyphrases

computer programs
expert systems
automatic programming
formal proofs
mathematical proofs
real time
theorem proving
data sets
machine learning
theorem prover
proof search