コンテンツへスキップ
亜美と智也のAI論文解説
最新AI論文の知見を分かりやすく解説！
タグ:
Software Verification
5月
08
2024
0
証明アシスタントとPythonの新しい出会い
投稿者:
ユウ
解説 ねえ智也くん、この「CoqPyt: Proof Navigati…