search

maxdore / elfe

Interactive Theorem Proving for students
https://elfe-prover.org/
20 stars 1 forks source link

The website gives a 403 Forbidden status code #1

Open jeroenvanrensen opened 1 year ago

jeroenvanrensen commented 1 year ago

Hello, when I visit the website elfe-prover.org/ I get a 403 Forbidden error.

maxdore commented 1 year ago

Dear Jeroen, many thanks for pointing this out! Seems like I have misplaced the SSH key, will try to find it and fix the error the coming days

maxdore commented 1 year ago

Some packages were deprecated that I had to update, now the website is running again. It seems the server is a bit small for some examples to be proved by E prover, but some basic examples are working. Please let me know if there are still any issues with the website!