|
|
|
|
|
|
|
|
|
|
|
|
| home | help | back | first | fref | pref | prev | next | nref | lref | last | post |
From: Alex T Prengel <alexp@MIT.EDU>
To: software-announce@mit.edu
Cc: alexp@mit.edu, cfyi@mit.edu
Date: Thu, 31 Oct 2013 17:03:44 -0400
Coq, a new application, has been installed on Athena.
Coq is a formal proof management system based on a formal internal
language.
For usage instructions and links to documentation see
http://ist.mit.edu/node/1408#Coq
Alex
|
|
|
|
|
|
|
|
|
|
|
|
| home | help | back | first | fref | pref | prev | next | nref | lref | last | post |