Topic Hub
#proof (4 Repositories)
Ranked open-source repositories tagged with #proof, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
21.4%
Avg Review Latency
0.6h
Filter by language
4 repositories tagged #proof
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
D TierScala 101
LS-Lab/KeYmaeraX-release
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers
D TierPHP 470
paragonie/chronicle
Public append-only ledger microservice built with Slim Framework
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers
D TierScala 111
gapt/gapt
GAPT: General Architecture for Proof Theory
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers