|
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.},
- }
|
