Masahiro Sakai
-
2016-10-27T15:58:27+0000
- 更新日時:
2016-10-27T15:58:27+0000
Z3の証明の可視化の続き。proof.styの証明図よりもGraphVizで可視化したほうが、ちょっとは見やすいか(?)
Z3の証明の可視化の続き。proof.styの証明図よりもGraphVizで可視化したほうが、ちょっとは見やすいか(?)
共有中: 一般公開
