http://math-logic-quickly.appstor.io 2025-02-27 1.0