mrs-tptp
Mechanical reasoning system
View on Github
Activity
- Latest release
- 1mo ago
- Total releases
- 6
- Cadence
- ~17 days
- Last 12 months
- 6
Reach
- Stars
- 1
Details
- License
- MIT OR Apache-2.0
- First release
- May 24, 2026
Releases
| Version | Released | |
|---|---|---|
0.2.3
patch
| ||
0.2.2
unknown
| ||
0.1.9
unknown
| ||
0.1.8
unknown
| ||
0.1.2
unknown
| ||
0.1.0
unknown
|