Top Rocq Prover Developers

SrcLog ranks 4 Rocq Prover developers on GitHub by the total stars of their public repositories. Together they hold 322 stars. The most-starred is mattam82 with 238 stars across 1 repository. Updated daily.

Developers Organizations
Reset
  1. 1 mattam82 avatar mattam82 Rocq Prover ⭐ 238 · 🍴 58 · 👀 6 · 1 repos
  2. 2 oftenjames avatar oftenjames Rocq Prover ⭐ 58 · 🍴 6 · 👀 0 · 1 repos
  3. 3 CharlesCNorton avatar CharlesCNorton Rocq Prover ⭐ 26 · 🍴 1 · 👀 1 · 2 repos
  4. 4 unprosaiclabyrinth avatar unprosaiclabyrinth Rocq Prover ⭐ 0 · 🍴 0 · 👀 0 · 1 repos

Other technologies