First-order logic engine with vague quantifiers (probabilistic semantics after Fermüller et al. 2016)
Latest Versions
16 versions →| Version ▼ | Scala | Scala.js | Vulnerabilities | Usages | Date | |
|---|---|---|---|---|---|---|
0.17.x | 0.17.0 | 3 | 1 (3) |
0
| Sep 09, 2026 | |
0.16.x | 0.16.0 | 3 | 1 (3) |
0
| Aug 22, 2026 | |
0.15.x | 0.15.0 | 3 | 1 (3) |
0
| Aug 19, 2026 | |
0.14.x | 0.14.0 | 3 | 1 (3) |
0
| Aug 15, 2026 | |
0.13.x | 0.13.1 | 3 | 1 (3) |
0
| Aug 15, 2026 | |
0.12.x | 0.12.1 | 3 | 1 (3) |
0
| Aug 14, 2026 | |
0.11.x | 0.11.0 | 3 | 1 (3) |
0
| Aug 12, 2026 | |
0.10.x | 0.10.2 | 3 | 1 (3) |
0
| Aug 10, 2026 |