Topic · verdi

verdi

Tracked open-source repos tagged verdi, sorted by stars.

Repos

1

Total stars

625

Avg. stars

625

Share

0.00%

Topics that frequently appear alongside verdi on the same repo.

Recent risers

Repos created in the last 90 days, tagged verdi.

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

#1
verdi ↗@uwplseRocq Prover
A framework for formally verifying distributed systems implementations in Coq
★ 625+0Star change over the last 7 days

← Back to topics