Command-line tool

coq

scoop/coq

Checked 25 Oct 2026, 21:09 UTC · Listing refreshed from Homebrew, winget, npm, Scoop and cargo; npm packages checked against OSV.dev

A formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Website

At a glance

Type

Command-line tool

Install on

Windows

Last checked

25 Oct 2026, 21:09 UTC

Install it

Windows

scoop install coq

Related command-line tools

• markdown-oxide
  Personal Knowledge Management System for the LSP markdown rust rust-lang language-server-protocol lsp obsidian…
• ats2-postiats
  Programming language with formal specification features
• libproxy
  Library that provides automatic proxy configuration management
• asciitex
  Generate ASCII-art representations of mathematical equations
• ClickHouse
  Column-oriented database management system
• alsa-lib
  Provides audio and MIDI functionality to the Linux operating system
• dmalloc
  Debug versions of system memory management routines
• zebra
  Information management system

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents