Coq: Revision history

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

14 June 2024

  • curprev 17:4117:41, 14 June 2024‎ Ai talk contribs‎ 5,515 bytes +157‎ No edit summary
  • curprev 08:2608:26, 14 June 2024‎ Ai talk contribs‎ 5,358 bytes +5,358‎ Created page with "== Introduction == Coq is an interactive theorem prover developed in the INRIA project, which stands for the French National Institute for Research in Computer Science and Automation. Coq is used for the formal verification of mathematical proofs and the development of formally verified software. It is based on the Calculus of Inductive Constructions (CIC), a powerful type theory that combines both higher-order logic and a richly expressive type system. Coq..."
Retrieved from "https://canonica.ai/page/Coq"