・2026/4/7 APIを整備する ※優先 AI利用（AIで固定ページを編集できるように） PHPエラーが分かりやすいように ・2026/4/1サーバ移行したが、以前の本番サイト、testはどうなる？test2→新しい […]
変更済み・cvtを標準とそれ以外も・定義の言い換えは _ でなく ' に。・Thesis, branch という用語 変更したい所・Thmを作るのに使用される記号の変更 ＜ → <<・やたらと _ を使いすき […]
開発補助⓪chatgptを導入①システムを勉強させる②システムについて会話（構文チェックなど）③システムの改訂（コード作成など） 証明補助証明の一つのやり方…何らかの言語で書かれた証明(の方針)をProver語に翻訳して […]
