3367255cb4
Submitted by Yozo Toda <yozo@imit.chiba-u.ac.jp>. The Coq Proof Assistant is designed to write formal specifications, programs and to verify that programs are correct with respect to their specification.
5 lines
172 B
Plaintext
5 lines
172 B
Plaintext
The Coq Proof Assistant is designed to write formal specifications, programs
|
|
and to verify that programs are correct with respect to their specification.
|
|
|
|
WWW: ${HOMEPAGE}
|