Topic · proofs

proofs

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

Repos

3

Total stars

3,413

Avg. stars

1,138

Share

0.00%

Topics that frequently appear alongside proofs on the same repo.

Recent risers

Repos created in the last 90 days, tagged proofs.

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

#1
Project-Euler-solutions ↗@nayukiJava
Runnable code for solving Project Euler problems in Java, Python, Mathematica, Haskell.
★ 1,959-1Star change over the last 7 days
#2
aeneas ↗@AeneasVerifOCaml
A verification toolchain for Rust programs
★ 946+8Star change over the last 7 days
#3
karamel ↗@FStarLangOCaml
KaRaMeL is a tool for extracting low-level F* programs to readable C code
★ 518-1Star change over the last 7 days

← Back to topics