Topic Hub
#deductive-reasoning (4 Repositories)
Ranked open-source repositories tagged with #deductive-reasoning, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
39.5%
Avg Review Latency
5.2h
Filter by language
4 repositories tagged #deductive-reasoning
S TierRust 1.8k 1 GFIs
creusot-rs/creusot
Creusot helps you prove your Rust code is correct.
85.7%
Merge Rate
3h
First Review
67%
1st-Timers
5
Maintainers
A TierOCOCaml 921 2 GFIs
AeneasVerif/aeneas
A verification toolchain for Rust programs
72.1%
Merge Rate
18h
First Review
63%
1st-Timers
26
Maintainers
D TierScala 130
TyGuS/suslik
Synthesis of Heap-Manipulating Programs from Separation Logic
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers
D TierRust 691
sarsko/CreuSAT
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers