Topic Hub
#proof-translator (1 Repositories)
Ranked open-source repositories tagged with #proof-translator, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
79.8%
Avg Review Latency
1.2h
Filter by language
Rankings/rankings/ocaml
1 repositories tagged #proof-translator
S TierOCOCaml 398
Deducteam/lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting
79.8%
Merge Rate
1h
First Review
67%
1st-Timers
9
Maintainers