http://logic-cs.appstor.io 2025-02-22 1.0