Informatics Report Series


Report   

EDI-INF-RR-0709


Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

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


Home : Publications : Report 

Please mail <reports@inf.ed.ac.uk> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh