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

Författare

Fredrik Lindblad

Göteborgs universitet

Marcin Benke

LNCS, Types for Proofs and Programs

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

Ämneskategorier

Annan matematik

ISBN

3-540-31428-8

Mer information

Skapat

2017-10-10