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

0 version found for artifacts

We can't find any release that matches all you criteria