Re: [Metamath] Re: Matrix indexing start

2020-09-01 Thread Thierry Arnoux
Thanks for all feedback! There are valid arguments on both sides, so we need Norm or Mario to do a final call. On 29/08/2020 08:06, Norman Megill wrote: While I'm not an expert, my guess is that the major uses of 0-based arrays are in computer science and some computer programming languages,

[Metamath] Fwd: New metamath game on Android

2020-09-01 Thread Norman Megill
Filip Cernatescu asked me to post this. Forwarded Message Subject: New metamath game on Android Resent-From: nm Date: Tue, 1 Sep 2020 12:22:06 + (UTC) From: Cernatescu Filip To: Norman Megill Hi Norm! I have created an Android App called XPuzzle. It is a puzzle with math