ケネディと天使の問題を Isabelle で証明

詳しいことと更新情報は↓で。

《ケネディと天使の問題を Isabelle で証明 その１ うそつき天使問題 - JRF のソフトウェア Tips》
http://jrf.cocolog-nifty.com/software/2020/06/post-ef863f.html

《ケネディと天使の問題を Isabelle で証明 その２ 気まぐれ天使問題 - JRF のソフトウェア Tips》
http://jrf.cocolog-nifty.com/software/2020/06/post-d9cd87.html

《ケネディと天使の問題を Isabelle で証明 その３ 悪戦苦闘編 - JRF のソ フトウェア Tips》
http://jrf.cocolog-nifty.com/software/2020/06/post-33c483.html

ライセンス

パブリックドメイン。 (数式のような小さなプログラムなので。)

自由に改変・公開してください。

License

Public Domain (because these programs are as small as mathematical formulae).

You can freely modify and re-publish them.

---

(This document is mainly written in Japanese/UTF8.)