Website is offline - Githubissues

abella-prover / abella

An interactive theorem prover based on lambda-tree syntax

https://abella-prover.org/

GNU General Public License v3.0

90 stars 18 forks source link

Closed cyberglot closed 4 years ago

JimmyZJX commented 4 years ago

I can access http://abella-prover.org/ without any problem

cyberglot commented 4 years ago

I am getting a dreamhost error 🤔 Maybe it is a localisation thing?