Sign in
The Proof Assistant as an Integrated Development Environment.
Nick Benton
Published in:
APLAS (2013)
Keyphrases
</>
test bed
theorem proving
neural network
three dimensional
object recognition
theorem prover
linear logic
data sets
artificial intelligence
decision making
metadata
image segmentation
automated theorem proving
logical rules