GitHub repository: lemastero/skolems
Description: A microlibrary for Scala encodings of higher-rank quantifiers