JAIST I217E 関数プログラミング(E) · CaféOBJ 交互学习系统:可执行的项重写引擎 + 17 章讲义要点 + 测验/闪卡/作业/模拟卷 (browser-runnable CafeOBJ subset engine)
education functional-programming term-rewriting cafeobj jaist algebraic-specification learning-tool structural-induction proof-score
-
Updated
Nov 12, 2026 - JavaScript