FYI: Wolfram Schwabhauser wrote an amazing rigorous book on geometry that is the basis of much of the geometry work in set.mm. However, as suggested by its title "Metamathematische Methoden in der Geometrie", it's in German, and many of us (including me!) don't speak German.
I've recently discovered that the Google Lens mobile application is an *amazingly* good solution to being able to read the book. Point the camera at a page, and it shows the translation superimposed on the text. It's awesome when you want to see the original images and just the translated text superimposed. I'm sure there are problems, but I recently had a question about page 109 and some of its preceding pages, and Google Lens made the text far easier to use. I thought others might want to know! --- David A. Wheeler -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/C816E396-FEC1-4B01-9131-B7C036D37ACA%40dwheeler.com.
