search

tirix / metamath-web

Metamath web server
http://metamath.tirix.org/mpeuni/toc
MIT License
4 stars 0 forks source link

Transition to https #35

Open GinoGiotto opened 4 hours ago

GinoGiotto commented 4 hours ago

The metamath-web pages used to be HTTPS, but for some reason, they have reverted to HTTP. I suggest switching them back to HTTPS.

Example: http://metamath.tirix.org/mpests/bezout.html