Topic · coq-library

coq-library

Tracked open-source repos tagged coq-library, sorted by stars.

Repos

3

Total stars

2,152

Avg. stars

717

Share

0.00%

Topics that frequently appear alongside coq-library on the same repo.

Recent risers

Repos created in the last 90 days, tagged coq-library.

No new repos tagged with this topic in the last 90 days.

#1
UniMath ↗@UniMathRocq Prover
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
#2
verdi ↗@uwplseRocq Prover
A framework for formally verifying distributed systems implementations in Coq
★ 625+0Star change over the last 7 days
#3
VST ↗@PrincetonUniversityRocq Prover
Verified Software Toolchain
★ 508+1Star change over the last 7 days

← Back to topics