伊莎贝尔安卓中文版官方版-伊莎贝尔安卓中文版最新版下载
类型：休闲益智
更新：2026-05-30 22:11:00
举报
欢迎下载“伊莎贝尔”安卓中文版！这是一款功能强大的交互式定理证明器，广泛应用于数学定理验证和形式化方法研究。安卓中文版本地化出色，操作界面清晰，方便您在移动设备上学习和探索形式化证明的严谨逻辑，是数学与计算机科学爱好者的得力工具。立即下载，开启您的逻辑验证之旅！
- 系统要求需要支持安卓系统5.2以上
- 是否收费免费(游戏内购买)
- 游戏大小
100.93MB
- 版本号
3.6.22
- 游戏语言中文
- 运营商伊莎贝尔安卓中文版
-
包名
com.mt0jo.91d5p
-
MD5值
iwy8r6emb29so3lpgfh0cajx7u1qntdk
