existential topic
List
existential
repositories
skolems
60
Stars
8
Forks
Watchers
A microlibrary for Scala encodings of higher-rank quantifiers
djspiewak
encoding
existential
rank-n
scala
