Proust: A Nano Proof Assistant.

Prabhakar Ragde

Published in: TFPIE (2016)

Keyphrases

nano scale
test bed
probabilistic model
theorem prover
linear logic
neural network
multi agent systems
theorem proving
learning algorithm
natural language
artificial neural networks
natural deduction
proof theory
formal proof