Topic · deductive-reasoning

deductive-reasoning

Tracked open-source repos tagged deductive-reasoning, sorted by stars.

Repos

3

Total stars

3,468

Avg. stars

1,156

Share

0.00%

Topics that frequently appear alongside deductive-reasoning on the same repo.

Recent risers

Repos created in the last 90 days, tagged deductive-reasoning.

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

#1
creusot ↗@creusot-rsRust
Creusot helps you prove your Rust code is correct.
★ 1,836+2Star change over the last 7 days
#2
aeneas ↗@AeneasVerifOCaml
A verification toolchain for Rust programs
★ 946+17Star change over the last 7 days
#3
CreuSAT ↗@sarskoRust
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
★ 698+2Star change over the last 7 days

← Back to topics