Combining Proofs and Programs.

Stephanie Weirich

Published in: TLCA (2011)

Keyphrases

computer programs
real time
data sets
theorem prover
database
databases
neural network
machine learning
computer vision
website
case study
programming environment
intermediate level
formal proof