Sign in Sign up

cargo

mrs-proof-kernel

Mechanical reasoning system

Activity

Latest release: 1mo ago
Total releases: 1
Cadence: —
Last 12 months: 1

Reach

Downloads: 0
Stars: 1

Details

License: MIT OR Apache-2.0
First release: Aug 11, 2026

Releases

Version	Released
`0.2.3` initial	Aug 11, 2026

Repository

Forks: 0
Open issues: 0
Language: Assembly

Dependencies (2)

Depends on

0.2.3

Used by

2

Supply-chain exposure

2 tracked projects depend on this, <1% of every package we track.

Insights

Releases per month

last 12 months

Release mix

1 releases

Release calendar

2026

Jan

Feb

Mar

Apr

May

Jun

Jul

Aug

Sep

Oct

Nov

Dec

Less More