http://logic-land.appstor.io 2025-04-10 1.0