Filip asked me to post the following: Xpuzzle 1.2 has been released. New simple levels have been added, and a new UI has been created. I think that would be a good practice environment for Metamath newbies. -- Filip
On Tuesday, September 1, 2020 at 6:18:22 PM UTC-4 Norman Megill wrote: > 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 +0000 (UTC) > From: Cernatescu Filip <cernatescufilip at yahoo.com> > To: Norman Megill > > Hi Norm! > > I have created an Android App called XPuzzle. It is a puzzle with math > formulas derived from the Metamath system, it is a lightweight Metamath. > Problems and formulas are stored in a .mm file. > > Formulas are axioms ($a) and they belong to public domain, problems ($p) > are theorems and they are registered to my name. I have attached the .mm > file to the email, and it is included in the .apk file. For now the other > properties of the formulas and problems are hard coded in the java program, > but it the future if the game has a public, these properties will be > written in a .mm file comment. > > Xpuzzle has a web page: https://www.xpuzzle.co and at the bottom of that > page is a link to the Google Play Store, where the app can be found. > Please put this web page to the us.metamath.org. If my game has a > public, I will put ads on the app and I will donate a percent from the > income to the Metamath Foundation. Please also put an announcement to the > Metamath forum (I am unsubscribed). > > Thank you very much! > -- 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 metamath+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/fc88d783-4a7f-43e6-8827-95c23bd4fe27n%40googlegroups.com.
