Top Keywords: coq, the coq, documentation, proof, a, standard library, reference manual, assistant, reference, manual, the standard library, starting with a, listed on the, to learn about, as those, documentation are, or book, a tutorial, manual and, the reference, those listed, starting with, listed on, documentation for, inria, tutorial, we recommend, the standard, the primary, library, welcome, learn about, listed, starting, standard, primary, Theres a total of 471 keywords.

Statistics

We first found this page on 2023-03-27 23:52:01 +0000. It was last re-indexed on 2024-09-28 06:27:25 +0000 and with a fetch interval of 90 days it will be fetched again in 49 days on 2024-12-26 or soon thereafter.

Last fetch returned code 200, OK, the current page state is ACTIVE.

Traffic Data for coq.inria.fr

If you are the owner of /coq.inria.fr and you want to remove this page from the search results, just use robots.txt

Similar Sites

No Title

There are four distinct representations for a given chunk of Haskell code: Core, Weak, Strong and Proof. Think of them like a pipeline.
http://www.megacz.com/berkeley/coq-in-ghc/ - Details - Similar

Home page of the ICAR, The International Committee for Animal Recordin

Network. Guidelines. Certifications.
https://www.icar.org/ - Details - Similar

No Title

04-Apr-2011: All lemmas are proved (no more admit s)
http://www.megacz.com/berkeley/coq-categories/ - Details - Similar

Planet Gentoo

(please note that there s a correction at the bottom)
https://planet.gentoo.org/ - Details - Similar

More sites similar to Welcome! | The Coq Proof Assistant...

Find Another Website

Search - Add URL

Sponsored Results

Your Ad Here & Hundreds of Other ISEDN Engines & Directories- $3/Month or Less

Your Ad Here & Hundreds of Other ISEDN Engines & Directories- $3/Month or Less