djspiewak / skolems   0.2.1

Apache License 2.0 GitHub

A microlibrary for Scala encodings of higher-rank quantifiers

Scala versions: 2.13 2.12 2.11
4 versions found for skolems
0.2.1
3 years ago
Apache-2.0
JVM:
2.13 2.12 2.11
0.2.0
3 years ago
Apache-2.0
JVM:
2.13 2.12 2.11
0.1.2
4 years ago
Apache-2.0
JVM:
2.13 2.12 2.11
0.1.1
4 years ago
Apache-2.0
JVM:
2.13 2.12 2.11