Metamath Home| Metamath Home |
Donations and Volunteering |
PlanetMath's AsteroidMeta has become the wiki home of the Metamath family of projects. If you like Metamath, you may wish to consider a donation to PlanetMath, a 501(c)3 tax-exempt public charity (meaning donations from US residents are tax-deductible).
1. The Metamath project is fortunate to have ad-free, volunteer mirror sites for its 1GB of over 20,000 web pages. However, mirror site availability is dependent on the good will of volunteers and may change at any time. Additional mirror sites are always welcome. Please contact me for more information, and see the instructions in mirror.txt.
2. Much of my work from the 80's and 90's - Metamath and otherwise - is stored on TK50 and 8mm tapes, in DEC VAX/VMS backup saveset format. (The VAX died before I could transfer it to another medium.) If anyone is able to read either of these media, it would be a welcome favor to help me recover it.
Thank you.