leanprover-community / lean4game

Server to host lean games.
https://adam.math.hhu.de
GNU General Public License v3.0
198 stars 35 forks source link

keinere Änderungen #54

Closed TentativeConvert closed 1 year ago

TentativeConvert commented 1 year ago

zu Titelseite: Ich habe u.A. Deine Emailadresse durch einen Link auf Deine HHU-Kontaktseite ersetzt. Die Adresse zu in Klartext zu veröffentlichen, würde ich nicht empfehlen. Der Spamfilter von roundcoube ist extremst schlecht.

Ich schreibe Du, Dir, Dein aus Gewohnheit groß, aber habe es jetzt auf allen Seiten an Deine Schreibweise angepasst.