rocq-prover

Recovered from GitHub repository metadata during SkillTrust final-state reconstruction.

Type

org

Skills

Claimed

Verified

Review boundary

Author information helps you judge provenance; different skills from the same author may still have different source states, so review each one before install.

Published skills

Skills by rocq-prover

Inspect each skill on the cards before install.

rocq

Repository: rocq

Author: rocq-prover · Source status: Clear source

Score 92Clear source

Manual review

The Rocq Prover is an interactive theorem prover, or proof assistant.

Score basis：Clear source · Risk needs review · Universal

Author unclaimed

Universal

5.4K720