Awesome Scala
Login
1 results
Sorting
Stars
Created
Commit Activity
Contributors
Dependent
Contributing Search
Filters
Languages
Scala 2.13 (1)
Scala 2.12 (1)
Scala 2.11 (1)
Platforms
JVM (1)
Topics
encoding (1)
existential (1)
rank-n (1)
scala (1)
types (1)
universal (1)
djspiewak/skolems
0.2.1
A microlibrary for Scala encodings of higher-rank quantifiers
Scala versions:
2.13
2.12
2.11
rank-n
encoding
universal
scala
existential
types
60
2
1
(current)