5月 08 2024 0 証明アシスタントとPythonの新しい出会い 投稿者: ユウ 解説 ねえ智也くん、この「CoqPyt: Proof Navigation in Python in the Era of LLMs」という論文のタイトルが面白そう！何について書かれているの？ ああ、これはCoqという証…