Login
1 results
Sorting
Relevant
Dependent
Created
Updated
Stars
Forks
Contributors
Contributing Search
Filters
Target
Jvm (1)
Scala
2.11 (1)
2.12 (1)
2.13 (1)
Topics
encoding (1)
existential (1)
rank-n (1)
scala (1)
types (1)
universal (1)
djspiewak/skolems
A microlibrary for Scala encodings of higher-rank quantifiers
Scala (JVM):
2.11
2.12
2.13
scala
existential
encoding
universal
types
rank-n
58
6
2
1
(current)
