CafeOBJ
定理証明系言語
website
github
https://honto.jp/netstore/pd-contents_0628712080.html
本がある
https://cafeobj.org/intro/ja/
https://m-hiyama.hatenablog.com/entry/20070607/1181188062
https://www.jstage.jst.go.jp/article/jssst/25/2/25_2_2_1/_article/-char/ja/
型クラスの記述?がいい感じらしい
ref
#プログラミング言語