Traf: A Graphical Proof Tree Viewer Cooperating with Coq Through Proof General.
Hideyuki KawabataYuta TanakaMai KimuraTetsuo HironakaPublished in: APLAS (2018)
Keyphrases
- theorem prover
- provably correct
- closely related
- complete axiomatization
- formal methods
- theorem proving
- relational databases
- special case
- probabilistic model
- tree structure
- information retrieval
- linear logic
- data sets
- cooperative
- real time
- artificial intelligence
- learning algorithm
- automated theorem proving
- machine learning
- precise definition