3 lines
154 B
Plaintext
3 lines
154 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.
|