開発補助⓪chatgptを導入①システムを勉強させる②システムについて会話（構文チェックなど）③システムの改訂（コード作成など） 証明補助証明の一つのやり方…何らかの言語で書かれた証明(の方針)をProver語に翻訳して […]