rocq-core

rocq 9.1.1 · pkgs/applications/science/logic/rocq-core/default.nix

Health

Risk

risk 1 low

+1 no versionCheckHook

Version

9.1.1 no newer release known to repology

Channels

master 9.1.1 · nixos-unstable 9.1.1 · nixos-26.05 9.1.1 no channel is behind master

Hydra

succeeded 2w ago

Advisories

none open

Packaging

no versionCheckHook

Packagewhat each field means

Description

Rocq Prover

Long description

The Rocq Prover is an interactive theorem prover, or proof assistant. 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.

Homepage

https://rocq-prover.org

License

LGPL-2.1

Platforms

45 platforms: Linux, Darwin

Main program

rocq

Source provenance

not set: built from source

Outputs

out