Encoding Induction Proof in Dafny.

Hongjian Jiang Yongjian Li Sijun Tan Yongxin Zhao

Published in: TASE (2021)

Keyphrases

proof planning
proof search
theorem proving
inductive learning
concept formation

linear logic
theorem prover
geometry theorem proving
encoding schemes
social networks

explanation based learning
machine learning
encoding scheme
rule induction
mathematical proofs

program synthesis
first order logic
search algorithm
information retrieval