プラグインGtranslate vscode で編集できるように 本番サイトの反映時間を表示する、TEST1も TKT FULLBACKUPのIDを時間にする ・2026/4/7 APIを整備する ※優先 AI利用（AI […]
・一階言語へのcvt…defを使うように・word(s,s),word(ss,s)となる定数の導入・DBのPropを止める。p-Formに一本化 ・Thmを作るのに使用される記号の変更 ＜ → <<・やたらと […]
開発補助⓪chatgptを導入①システムを勉強させる②システムについて会話（構文チェックなど）③システムの改訂（コード作成など） 証明補助証明の一つのやり方…何らかの言語で書かれた証明(の方針)をProver語に翻訳して […]
