coq-proof-assistant

Solid

Interface with Coq proof assistant for formal verification

AI & Automation 814 stars 53 forks Updated today MIT

Install

View on GitHub

Quality Score: 93/100

Stars 20%

Recency 20%

100

Frontmatter 20%

Documentation 15%

Issue Health 10%

License 10%

100

Description 5%

100

Skill Content

# Coq Proof Assistant ## Purpose Provides expert guidance on using the Coq proof assistant for formal verification and mathematical formalization. ## Capabilities - Ltac and Ltac2 tactic generation - SSReflect/MathComp library integration - Proof by reflection techniques - Extraction to OCaml/Haskell - Proof documentation generation ## Usage Guidelines 1. **Proof Scripts**: Write Coq vernacular with proper structuring 2. **Tactics**: Use Ltac macros for proof automation 3. **Libraries**: Leverage MathComp for algebra and SSReflect for reasoning 4. **Extraction**: Generate verified executable code ## Tools/Libraries - Coq - SSReflect - MathComp - CoqIDE or VS Code

Details

Author: a5c-ai
Repository: a5c-ai/babysitter
Created: 4 months ago
Last Updated: today
Language: JavaScript
License: MIT

Related Skills

AI & Automation Featured

videodb

See, Understand, Act on video and audio. See- ingest from local files, URLs, RTSP/live feeds, or live record desktop; return realtime context and playable stream links. Understand- extract frames, build visual/semantic/temporal indexes, and search moments with timestamps and auto-clips. Act- transcode and normalize (codec, fps, resolution, aspect ratio), perform timeline edits (subtitles, text/image overlays, branding, audio overlays, dubbing, translation), generate media assets (image, audio, video), and create real time alerts for events from live streams or desktop capture.

196,640 Updated 2 days ago

affaan-m

AI & Automation Featured

ck

Persistent per-project memory for Claude Code. Auto-loads project context on session start, tracks sessions with git activity, and writes to native memory. Commands run deterministic Node.js scripts — behavior is consistent across model versions.

196,640 Updated 2 days ago

affaan-m

AI & Automation Featured

browser

Web browser automation with AI-optimized snapshots for claude-flow agents

55,973 Updated today

ruvnet