That looks great! I did not see all the app, are you offering only algebra problems? I feel this would give a too limited view of what "Maths" are. If so, I would suggest to also include a bit of logic, maybe one inductive proof, and why not the MIU system?
On 02/09/2020 06:18, 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 [email protected] <mailto:[email protected]>. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/0d4b3ac0-6ce6-4745-967a-bf6191eb3296n%40googlegroups.com <https://groups.google.com/d/msgid/metamath/0d4b3ac0-6ce6-4745-967a-bf6191eb3296n%40googlegroups.com?utm_medium=email&utm_source=footer>.
-- 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/3d83f850-2a89-28e5-b233-9bc5c2c693bf%40gmx.net.
