djspiewak/skolems

A microlibrary for Scala encodings of higher-rank quantifiers

语言：Scala · GitHub 星标：58 · Fork：7

话题：encoding · existential · rank-n · scala · types · universal

在 GitHub 上查看原仓库