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
Found 1 artifact
skolems 0.2.1
4 years ago
Apache-2.0
JVM:
2.13 2.12 2.11