shot_ds
Data structures for a novel higher-order theorem prover based on semantic tableaux.
View on Github
Activity
- Latest release
- 4w ago
- Total releases
- 43
- Cadence
- ~daily
- Last 12 months
- 43
Reach
- Downloads
- 2.7k
- Stars
- 0
Details
- License
- MIT
- First release
- Mar 20, 2026
Releases
| Version | Released | |
|---|---|---|
1.3.1
patch
| ||
1.3.0
minor
| ||
1.2.10
patch
| ||
1.2.9
patch
| ||
1.2.8
patch
| ||
1.2.7
patch
| ||
1.2.6
patch
| ||
1.2.5
patch
| ||
1.2.4
patch
| ||
1.2.3
patch
| ||
1.2.2
patch
| ||
1.2.1
patch
| ||
1.2.0
minor
| ||
1.1.8
patch
| ||
1.1.7
patch
| ||
1.1.6
patch
| ||
1.1.5
patch
| ||
1.1.4
patch
| ||
1.1.3
patch
| ||
1.1.2
patch
| ||
1.1.1
patch
| ||
1.1.0
minor
| ||
1.0.5
patch
| ||
1.0.4
patch
| ||
1.0.3
patch
| ||
1.0.2
patch
| ||
1.0.1
patch
| ||
1.0.0
major
| ||
0.5.0
minor
| ||
0.4.2
patch
| ||
0.4.1
patch
| ||
0.4.0
minor
| ||
0.3.3
patch
| ||
0.3.2
patch
| ||
0.3.1
patch
| ||
0.3.0
minor
| ||
0.2.3
patch
| ||
0.2.2
patch
| ||
0.2.1
patch
| ||
0.2.0
minor
| ||
0.1.2
patch
| ||
0.1.1
patch
| ||
0.1.0
initial
|