若くない何かの悩み

何かをdisっているときは、たいていツンデレですので大目に見てやってください。

2020-12-19から1日間の記事一覧

Isabelle ゆるリファレンス(apply-scriptスタイル)

最近は本業の自動テストマンより定理証明支援系に力を入れている Kuniwak です(経緯は過去記事参照)。 orgachem.hatenablog.com 定理証明支援系はいいぞ、ということで本記事では 私がよく使う Isabelle の便利機能の紹介とごく個人的に感じている使い所な…