Hello Olivier! Good luck with your CAS implementation! It is a wonderful work!
But I have 2 question for you: 1. The proofs of your calculations would be in formal math not in classic math, do you think that would be a segment of population that would need your proofs? 2. Lots of math formulas are non-existent in set.mm,how do you deal with that? Thank you very much! Filip -- 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/11dc6086-2cf5-4c81-bcef-e6a58978b234%40googlegroups.com.
