「Ssreflect拡張」を解説文に含む見出し語の検索結果(1~2/2件中)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/12/22 04:50 UTC 版)「Coq」の記事における「Ssreflect拡張」の解説Georges Gonthier...
Coq作者フランス国立情報学自動制御研究所, パリ第7大学, エコール・ポリテクニーク, パリ第11大学, リヨン高等師範学校初版4.10 (1989年)最新版9.0.0 / 2025年3月12日...
< 前の結果 | 次の結果 >