Authors Search About

Aspinall, David

1 publications

IJCAI 2005 Proof General / Eclipse: A Generic Interface for Interactive Proof Daniel Winterstein, David Aspinall, Christoph Lüth

ML Anthology — Open source under Apache 2.0. GitHub. Privacy Policy