coq
Tracked open-source repos tagged coq, sorted by stars.
Related topics
Topics that frequently appear alongside coq on the same repo.
Recent risers
Repos created in the last 90 days, tagged coq.
No new repos tagged with this topic in the last 90 days.
- #1
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.
★ 5,562+4Star change over the last 7 days - #2★ 2,220+1Star change over the last 7 days
- #3
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
★ 1,019+2Star change over the last 7 days - #4★ 974+0Star change over the last 7 days
- #5★ 948+17Star change over the last 7 days
- #6
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
★ 835+0Star change over the last 7 days - #7
An axiom-free formalization of category theory in Coq for personal study and practical work
★ 808+1Star change over the last 7 days - #8★ 696+1Star change over the last 7 days
- #9★ 686+0Star change over the last 7 days
- #10★ 625+0Star change over the last 7 days
- #11
A gently curated list of companies using verification formal methods in industry
★ 610+1Star change over the last 7 days - #12★ 558+2Star change over the last 7 days
- #13
Tricks you wish the Coq manual told you [maintainer=@tchajed]
★ 552+0Star change over the last 7 days - #14★ 550+1Star change over the last 7 days
- #15★ 547+0Star change over the last 7 days
- #16★ 508+1Star change over the last 7 days
