knuckledragger
Interactive Theorem Prover
Activity
- Latest release
- 4mo ago
- Total releases
- 4
- Cadence
- ~3 months
- Last 12 months
- 4
Details
- License
- MIT
- First release
- Nov 16, 2025
| Version | Released | |
|---|---|---|
0.3.0
minor
|
0.3.0
minor
Dependencies (21)
+ 13 more |
|
0.2.0
minor
|
0.2.0
minor
Dependencies (19)
+ 11 more |
|
0.1.4a1
pre
|
0.1.4a1
pre
Dependencies (16)
+ 8 more |
|
0.1.3
initial
|
0.1.3
initial
Dependencies (16)
+ 8 more |