12月 19 2024 0 Rango: ソフトウェアの未来を変える自動証明ツール 投稿者: ユウ 解説 ねえ、トモヤ！この「Rango」っていう論文、面白そうだね！内容教えてくれない？ もちろん。Rangoは、ソフトウェアの自動証明を行うツールなんだ。特に、Coqという証明支援ツールを使って、高品質なソフトウェアを作…
5月 08 2024 0 証明アシスタントとPythonの新しい出会い 投稿者: ユウ 解説 ねえ智也くん、この「CoqPyt: Proof Navigation in Python in the Era of LLMs」という論文のタイトルが面白そう！何について書かれているの？ ああ、これはCoqという証…