[Date Prev][Date Next] [Chronological] [Thread] [Top]

[mizar] Mizar Wiki 403 error "forbidden"

To: mizar-forum@mizar.uwb.edu.pl
Subject: [mizar] Mizar Wiki 403 error "forbidden"
From: Alex Nelson <thmprover@gmail.com>
Date: Sat, 28 Dec 2024 09:40:20 -0800

Hello,

I just tried accessing the Mizar wiki (http://wiki.mizar.org/bin/view/Mizar) and got a 404 error; I'm not sure who to ping about it?

Best,
Alex

Follow-Ups:
- Re: [mizar] Mizar Wiki 403 error "forbidden"
  - From: adamn@math.uwb.edu.pl

Prev by Date: Re: [mizar] MML and "Building Mizar from Scratch"
Next by Date: Re: [mizar] Mizar Wiki 403 error "forbidden"
Index(es):
- Chronological
- Thread