Jape

许可: 免费 ‎文件大小: N/A
‎用户评分: 5.0/5 - ‎1 ‎评分

Jape 是一个可配置的图形形式验证计算器。可以定义逻辑,决定用户查看其校样的方式,等等。它适用于后导微积分和自然演绎的变体。Mac , Unix , Windows 。

版本历史记录

  • 版本 N/A 发布于 2011-08-11
    若干修复和更新
  • 版本 N/A 发布于 2011-08-11

软件信息