CtCoq
Edit Page
Report
Scan day: 05 March 2014 UTC
18
Virus safety - good
Description: a working environment for the Coq theorem prover (XWindow)
Ctcoq is now replaced by a new system, called provides a working environment for the . It has been developed following a general for building user-interfaces for theorem provers. It has the following characteristics:
Size: 216 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | The CtCoq User Interface |
| Keywords: | |
| Description: | |
| IP-address: | 138.96.0.39 |
WHOIS Info
| NS | ns2.nic.fr [192.93.0.4 2001:660:3005:1::1:2] |
| WHOIS | status: ACTIVE status: ok |
| Date | created: 01/01/1995 last-update: 24/10/2013 changed: 02/12/2009 [email protected] changed: 26/09/2011 [email protected] changed: 24/10/2013 [email protected] changed: 06/01/2012 [email protected] changed: 06/01/2012 [email protected] |