A Two-Level Approach Towards Lean Proof-Checking.

Gilles Barthe Mark Ruys Henk Barendregt

Published in: TYPES (1995)

Keyphrases

theorem prover
data sets
database systems
theorem proving
linear logic
information retrieval
image processing
proof planning
social networks
support vector
expert systems
relational databases
integrity constraints
mathematical proofs