If the goal is to write some proofs (which is fun!) and make them public on the website, a mathbox would achieve those two things. For a while I was maybe a little bit worried about where to put proofs, or whether I "believe in" (whatever that means) mathboxes, or naming, or whatever organizational issue, but when I get down to writing the proofs and getting people to collaborate, it becomes a lot easier to solve the problems which are really in the way, and sort of shrug about the things which maybe I might want to propose changing some day, but where for now I can just use current patterns (in this case, a mathbox, unless there is something I misunderstand about how we usually operate).
On May 22, 2020 9:20:35 AM PDT, Norman Megill <[email protected]> wrote: >-------- Forwarded Message -------- >Subject: tensor algebra >Date: Fri, 22 May 2020 14:05:07 +0200 (CEST) >From: fl >To: Megill Norman > > Hi Norm, > >Can you post that: > >I want to make some proofs in tensor algebra but I don't want to put >them >in a mathbox of m'y own. Is it possible to put them in the Commons >part. > >-- >FL > > >This is not our practice and seems unfair to others whose work starts >in >mathboxes, but other people can give their opinions. > >Norm > >-- >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/5719d69c-d854-4199-8e8c-c1fd6c4ba1e6%40googlegroups.com. -- 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/6D267527-8156-4000-B57F-9D61A73A0847%40panix.com.
