Topic Hub
#induction (2 Repositories)
Ranked open-source repositories tagged with #induction, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
35.0%
Avg Review Latency
220.1h
Filter by language
2 repositories tagged #induction
C TierOCOCaml 166
sneeuwballen/zipperposition
An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.
70.0%
Merge Rate
18d
First Review
50%
1st-Timers
1
Maintainers
D TierKotlin 157
breandan/galoisenne
🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers