あと、Claude…

jrf> あと、Claude さんでアップデートできそうなものと言えば、sympy_matrix_tools があるかな。でも、これ本家の sympy のアップデートに合わせてアップデートするとか無理だから、利用者がいてよほど要望があれば…という感じなんだよね。そして利用者はいない。Isabelle を参考にした prover も含まれててでもそれはシステムだけあって、定理の証明がなく、そういう証明を AI さんがやってくれないか…と夢は見るんだが、でも、わざわざ Python で型理論も rigid でない個人開発の prover とか使いたい人いないだろうし、意味ないかな…とも思うんだよね。