rustio rustio.net
41

mrs-proover

v0.1.9 Experimental

Proof verifier for TPTP/TSTP — entry for the ProoVer competition

MIT OR Apache-2.0 Edition 2024 MSRV 1.95
GitHub ↗ crates.io ↗ Compare with…

Quick Verdict

  • ✓Actively maintained (updated 21d ago)
  • !Pre-1.0: API may have breaking changes
  • ✓Permissive license (MIT OR Apache-2.0)

Security

Checking security advisories...
Downloads
32
Dependents
0
Releases
2
Size
85KB

Deep Insights

📈
Strong growth momentum

19 downloads in the last 30 days (1/day), up 46% from the previous period.

Health Breakdown

Maintenance 13/25

Recency, release consistency, active ratio

Quality 13/25

Yanked ratio, deps, size, maturity, features

Community 1/20

Reverse deps, ownership, ecosystem

Popularity 2/15

Downloads, momentum, growth trend

Documentation 12/15

Docs, repo, license, metadata

Download Trend

Daily downloads · last 90 days
0/day avg
04/265/146/16/197/77/24

Version Adoption

v0.1.8
50%
v0.1.9
50%

Release Timeline

2 releasessince 2026
J
F
M
A
M
J
J
A
S
O
N
D
2026
2
Less
More

README

Loading README...

Maintainers

N
Olivier ROLAND
19 crates
Dependencies
5
direct dependencies
Dependents
0
crates depend on mrs-proover