Assisted Proof Document Authoring

Lecture Notes in Computer Science - Mathematical Knowledge Management ◽

10.1007/11618027_5 ◽

2006 ◽

pp. 65-80 ◽

Cited By ~ 4

Author(s):

David Aspinall ◽

Christoph Lüth ◽

Burkhart Wolff