djspiewak

djspiewak

👤 Developer

1 repository on SrcLog

View on GitHub
1 Repos
61 Stars
8 Forks
61 Watchers

Repositories (1)

skolems djspiewak/skolems Scala

A microlibrary for Scala encodings of higher-rank quantifiers

61