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

skolems

Found 5 versions
0.2.1
4 years ago
Apache-2.0
JVM:
2.13 2.12 2.11
0.2.0
4 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
0.1.0
4 years ago
Apache-2.0
JVM:
2.13 2.12