Skip to content
GitLab
Explore
Sign in
scos
scos.sources
party-eris
Repository
party-eris
license
Find file
Blame
History
Permalink
first working clone of party-elli with existential quantifiers and beyond.
· c9ab5be1
Masoud Ebrahimi
authored
Aug 01, 2017
c9ab5be1
This project is licensed under the
MIT License
.
Learn more