First-order logic engine with vague quantifiers (probabilistic semantics after Fermüller et al. 2016)

Latest Versions

12 versions →
VersionScalaScala.jsVulnerabilitiesUsagesDate
0.15.x
0.15.03
1 (3)
0
Aug 19, 2026
0.14.x
0.14.03
1 (3)
0
Aug 15, 2026
0.13.x
0.13.13
1 (3)
0
Aug 15, 2026
0.12.x
0.12.13
1 (3)
0
Aug 14, 2026
0.11.x
0.11.03
1 (3)
0
Aug 12, 2026
0.10.x
0.10.23
1 (3)
0
Aug 10, 2026
12 versions →