RedexからCoqへの翻RedexからCoqへの翻訳ツールズにする。RedexとCoq間のモデル変換をスムー計算機科学における論理RedexからCoqへの翻訳を自動化する新しいツールは、RedexモデルをCoqに変換するのを簡単にすることを目指してるよ。2025-09-11T08:13:24+00:00 ― 1 分で読む