rocq-prover/rocq
An interactive theorem prover for writing and verifying mathematical definitions and algorithms.
OCaml
AI Coding Tools
LGPL-2.1
5.4K
Stars
720
Forks
Feb 17, 2011
Created
Mar 5, 2026
Last Updated
Project Analytics
Stars Growth (1 Month)
+27
+0.5% change
Avg Daily Growth (1 Month)
+1.0
stars per day
Fork/Star Ratio (All Time)
13.4%
Good engagement
Lifetime Growth
1.0
stars/day over 5.5K days
Stars Over Time
Forks Over Time
Open Issues Over Time
Pull Requests Over Time
Commits Over Time
AI-Generated Tags
theorem-prover
proof-assistant
dependent-types
Similar Projects
codecrafters-io/build-your-own-x
Build your own x by recreating favorite technologies from scratch
472.5K
Markdown
sindresorhus/awesome
Awesome list for vibe coders
442.8K
freeCodeCamp/freeCodeCamp
FreeCodeCamp's open-source codebase and curriculum for learning programming, math, and computer science.
437.8K
TypeScript
kamranahmedse/developer-roadmap
Interactive developer roadmap with AI-focused tools and resources
350.2K
TypeScript
Comments (0)
Sign in to leave a comment or vote
Sign InNo comments yet. Be the first to comment!
Stay in the loop
Get weekly updates on trending AI coding tools and projects.