Topic Hub
#automated-reasoning (2 Repositories)
Ranked open-source repositories tagged with #automated-reasoning, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
0.0%
Avg Review Latency
0.0h
Filter by language
2 repositories tagged #automated-reasoning
D TierPython 358
frenzymath/Danus
Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory
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