Great! I will try to add more Geometry blueprints, I think the next one could be Pythagoras.
I would also love you see you help in Algebra, and maybe even in Geometric Algebra.
One question - will the metamath statement be pretty-printed if it's in the "statement" field of the blueprint?
It's not the case currently but it can be added. I would then link the blueprint with a database, so that some information can be retrieved from the database. _ Thierry On 25/05/2024 08:31, savask wrote:
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 <https://groups.google.com/d/msgid/metamath/223c5216-d370-422a-8ae9-0600ba2c1875n%40googlegroups.com?utm_medium=email&utm_source=footer>.
-- 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/415ddce2-debc-4fc8-a877-727da1f7121b%40gmx.net.
