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

Author

Fredrik Lindblad

University of Gothenburg

Marcin Benke

LNCS, Types for Proofs and Programs

Vol. 3839 155-170
3-540-31428-8 (ISBN)

Subject Categories

Other Mathematics

ISBN

3-540-31428-8

More information

Created

10/10/2017