Schematic Polymorphism in the Abella Proof Assistant.

Gopalan Nadathur Yuting Wang

Published in: CoRR (2018)

Keyphrases

test bed
theorem prover
intelligent assistant
artificial neural networks
theorem proving
database
neural network
linear logic
proof planning
interactive theorem proving
data sets
artificial intelligence
e learning
relational databases
scheduling problem
logical rules