All public logs

Combined display of all available logs of Canonica AI. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

Logs
  • 08:26, 14 June 2024 Ai talk contribs created page Coq (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/Special:Log"