Hipster: Integrating Theory Exploration in a Proof Assistant.

Moa Johansson Dan Rosén Nicholas Smallbone Koen Claessen

Published in: CoRR (2014)

Keyphrases

theoretical framework
real world
artificial neural networks
computer vision
computational model
proof theory
databases
test bed
theorem proving
belief functions
general theory
formal theory
linear logic