Topic · coq-formalization

coq-formalization

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

Repos

2

Total stars

1,246

Avg. stars

623

Share

0.00%

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

Recent risers

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

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

#1
math-comp ↗@math-compRocq Prover
Mathematical Components
★ 696+1Star change over the last 7 days
#2
metarocq ↗@MetaRocqRocq Prover
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
★ 550+1Star change over the last 7 days

← Back to topics