Towards a Formally Verified Proof Assistant.

Abhishek Anand Vincent Rahli

Published in: ITP (2014)

Keyphrases

test bed
real world
theorem proving
geometry theorem proving
data sets
genetic algorithm
artificial intelligence
computer vision
proof planning
database
multi agent
theorem prover
high level
mathematical proofs
data structure
case study
neural network
real time