Re: [Metamath] Website is down

On Wed, Oct 25, 2023 at 3:46 PM Gino Giotto wrote: > From https://us.metamath.org/copyright.html#pd the GNU General Public > License link gives a 404. The top level LICENSE.TXT has been removed, as the web site is PD not GPLv2 (except for some enumerated

Re: [Metamath] Website is down

On Wed, Oct 25, 2023 at 3:46 PM Gino Giotto wrote: > From https://us.metamath.org/ the mmsolitaire.tar.gz > , mpeuni.tar.gz > , qleuni.tar.gz >