更新。 sympy_matrix_tools。バージョン 0.3.0。…

jrf> 更新。

sympy_matrix_tools。バージョン 0.3.0。

FrozenGoal を導入し、proofstate をわかりやすくした。そのため、resolve_implications まわりのコードがかなり変わった。

Isabelle にならい、make_proofstate で prems を返すパターンもできるようにした。Dummy を使って。こんなことやっていいか自信はないが。