Thanks so much for all these explanations Mario, it's really kind of you. What you're doing is awesome. I have to read each message 5 times to try and pick apart the ideas you're using, I mean I've been programming for a few years and have never heard of algebraic data types, though have used linked lists and trees a decent amount.
I'd love to be able to help but I think I'm several levels too far down in terms of skills, hopefully I'll keep progressing though. I have been trying to learn the new OpenAI tool, which is really cool, and help Norm by marking some of the old groups and rings stuff for deletion and do my own project to prove the area of a triangle, which has been stuck for a long time now. So I think maybe I have enough things to chew on of the right size for me. I'll be watching out for your future talks though! Keep us updated as it's an awesome project. My friend said he thinks the proof system that will win in the end (as I think network effect will probably drive mass adoption of a single protocol) is the one which can translate from the most others so I think you are probably winning at the moment in that respect. :) -- 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/793a28fc-bc3b-4c40-b35e-7d36e0bc4764o%40googlegroups.com.
