search

djspiewak / skolems

A microlibrary for Scala encodings of higher-rank quantifiers
Apache License 2.0
60 stars 8 forks source link

Mark Exists and Forall as Serializable #7

Closed wemrysi closed 4 years ago

djspiewak commented 4 years ago

This isn't horrifying at all…