Encoding Induction Proof in Dafny.

Hongjian Jiang, Yongjian Li, Sijun Tan, Yongxin Zhao

Browse the full TASE paper archive.