No offense either. This was just my genuine attempt to explain to casual reader what it might take to make a redundant service. And who knows, may be someone will do this eventually.
P.S. Internet is such a place where strangers never know for sure how to interpret real intentions of everyone else. But is this any different from a real world? I wonder to which extent this could explain interest to formal logic in ordinary people. -- 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/4f3c6ac7-9f56-44c6-8066-b4b6b5bce43e%40googlegroups.com.
