Informatics Report Series
|
|
|
|
|
|
Title:Proof General Version 3.5 |
Authors:
David Aspinall
; Christoph Lueth
|
Date:04 2004 |
Publication Title:Distributed by various third parties as part of other software packages. |
Publication Type:Software
|
|
|
- Links To Paper
- Software package and documentation available online at University of Edinburgh
- Bibtex format
- @Misc{EDI-INF-RR-0709,
- author = {
David Aspinall
and Christoph Lueth
},
- title = {Proof General Version 3.5},
- year = 2004,
- month = {04},
- howpublished={Software},
- url = {http://proofgeneral.inf.ed.ac.uk},
- note = {Distributed by various third parties as part of other software packages.},
- }
|