Ivor, a Proof Engine.

Published in: IFL (2006)

Keyphrases

theorem proving
theorem prover
data model
information retrieval systems
information retrieval
social networks
image segmentation
database systems
video sequences
data streams
linear logic
mathematical proofs