Login / Signup
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