Proof Search and Proof Check for Equational and Inductive Theorems.

Eric Deplagne, Claude Kirchner, Hlne Kirchner, Quang Huy Nguyen

Browse the full CADE paper archive.