eyeprolog
EyeProlog turns portable ISO Prolog programs into answers and inspectable proofs.
View on Github
Activity
- Latest release
- 4h ago
- Total releases
- 306
- Cadence
- ~daily
- Last 12 months
- 306
Reach
- Downloads (recent)
- 4.9k
- Stars
- 19
Details
- License
- MIT
- First release
- Aug 07, 2026
Releases
| Version | Released | |
|---|---|---|
1.5.101
patch
| ||
1.5.100
patch
| ||
1.5.99
patch
| ||
1.5.98
patch
| ||
1.5.97
patch
| ||
1.5.96
patch
| ||
1.5.95
patch
| ||
1.5.94
patch
| ||
1.5.93
patch
| ||
1.5.92
patch
| ||
1.5.91
patch
| ||
1.5.90
patch
| ||
1.5.89
patch
| ||
1.5.88
patch
| ||
1.5.87
patch
| ||
1.5.86
patch
| ||
1.5.85
patch
| ||
1.5.84
patch
| ||
1.5.83
patch
| ||
1.5.82
patch
| ||
1.5.81
patch
| ||
1.5.80
patch
| ||
1.5.79
patch
| ||
1.5.78
patch
| ||
1.5.77
patch
| ||
1.5.76
patch
| ||
1.5.75
patch
| ||
1.5.73
patch
| ||
1.5.72
patch
| ||
1.5.71
patch
| ||
1.5.70
patch
| ||
1.5.69
patch
| ||
1.5.68
patch
| ||
1.5.67
patch
| ||
1.5.66
patch
| ||
1.5.65
patch
| ||
1.5.63
patch
| ||
1.5.62
patch
| ||
1.5.61
patch
| ||
1.5.60
patch
| ||
1.5.59
patch
| ||
1.5.58
patch
| ||
1.5.57
patch
| ||
1.5.56
patch
| ||
1.5.55
patch
| ||
1.5.54
patch
| ||
1.5.53
patch
| ||
1.5.52
patch
| ||
1.5.51
patch
| ||
1.5.50
patch
|
1–50 of 306