TO DO

変更済み
・アロー関数
・var
・setn.x

変更したい所
・Thmを作るのに使用される記号の変更 ＜ → <<
・やたらと _ を使いすきている気がするのでaliasでは ' にする？
・文字@pxとか？

word関数を拡張して2次wordともいうべきものを使用可能に。[ ] 内に作る？
証明中に新しいwordの作成をすることも可能になる？

・外部変数を扱えるように。補題も
・word関数の#を\に
・数学の教科書を先に進める
きれいな定義を可能に
・必要な「推論の道具」を揃える

・証明
/ の計算や補題などを細かに指示しているため、かなり長いものが多い。短縮したい！
証明の方針を考え、規格に沿った入力txtにまで仕上げるのは苦労がいる。
見つけた証明は教科書に保存していく。システムの証明力が上がれば教科書も軽くなるはず。
まずはphpで証明探索と呼べる事を実装？
しらみつぶしで良いので全候補をproverに渡す？証明は１つでも道が通れば一応OK