2016-06-23 Isabelle as a programming language Isabelle 課題 というわけで、プログラミング言語としてのIsabelleを調べよう。1980, 90年代の資料とMLソースコードか。現在のシステムは大規模複雑だから、MLソースコードを読むのは辛い。Isabelle86のコードとか残っているといいのだが。[追記]あった。 https://www.repository.cam.ac.uk/handle/1810/255131 [/追記]
