Constructor-Based Inductive Theorem Prover.

Daniel Gin, Min Zhang, Yuki Chiba, Yasuhito Arimoto

Browse the full CALCO paper archive.