A Tool for Automated Theorem Proving in Agda
Paper in proceedings, 2006

Author

Fredrik Lindblad

University of Gothenburg

Marcin Benke

LNCS, Types for Proofs and Programs

Vol. 3839 155-170

Subject Categories

Other Mathematics

ISBN

3-540-31428-8

More information

Created

10/10/2017