PetitLambda 0.1

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

关于 PetitLambda

兰姆达微积分的翻译。 它显示了 lambda 术语的减少过程。 支持几种评价策略。 输出格式可以从 LaTex 纯文本中选择。