search

stanford-oval / almond-android

The Almond Android App
Other
12 stars 8 forks source link

Update URL to CVC4 server #88

Closed gcampax closed 5 years ago

gcampax commented 5 years ago

No longer on development infrastructure