David Aspinall

University of Edinburgh , U.K. and

1 paper in the IJCAI proceedings

IJCAI 2005

Proof General / Eclipse: A Generic Interface for Interactive Proof

with Daniel Winterstein, Christoph Lüth

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings