Looks very interesting! I personally would be interested in geometric theorems and definitions from Schwabenhaeuser being outlined in blueprints - the book being written in German is a big barrier to me, but if everything was fleshed out except for proofs, I could see myself contributing.
One question - will the metamath statement be pretty-printed if it's in the "statement" field of the blueprint? -- 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/223c5216-d370-422a-8ae9-0600ba2c1875n%40googlegroups.com.
