Mein Sohn Georg und ich haben das Buch "Metamath: A Computer Language for Mathematical Proofs" von Norman Megill und David A. Wheeler ins Deutsche übersetzt. Es kann als PDF-Dokument von der Metamath-Homepage heruntergeladen werden: https://us.metamath.org/index.html#book.

Zusätzlich zum Original ist eine Liste der mit Metamath bewiesenen "100 Theoreme" (siehe https://www.cs.ru.nl/~freek/100/)  und ein Glossar mit den Übersetzungen der wichtigsten Begriffe (deutsch - englisch und englisch - deutsch) enthalten.

Wir hoffen, dass wir mit dieser Übersetzung viele deutschsprachige Interessierte für Metamath begeistern können.