Here's the quick link: http://coq.inria.fr/V8.1/refman/Reference-Manual006.html
On 4/21/07, Lukasz Stafiniak <[EMAIL PROTECTED]> wrote:
Hi, How should an AGI think about formal mathematical ideas? What
...
system with frugal formulation, a logic whose assertions combine theorems and proofs, and whose proofs are algorithms: the Calculus of Inductive Constructions (CIC). The system that implements CIC is Coq
----- This list is sponsored by AGIRI: http://www.agiri.org/email To unsubscribe or change your options, please go to: http://v2.listbox.com/member/?member_id=231415&user_secret=fabd7936