存命人物
Coq
さんは
2026年4月10日現在
1歳
0ヶ月です！
誕生日まであと
335日
生後
394日
経過
生年月日
（2025年3月12日）は
水
曜日
巳
年
※Wikipediaの情報から機械的に算出しています。
情報の正確性を保証するものではありません。
宇宙時間で何歳？
月
14.4歳
Moon
水星
4.5歳
Mercury
金星
1.8歳
Venus
火星
0.6歳
Mars
木星
0.1歳
Jupiter
土星
0歳
Saturn
※各惑星の公転周期に基づき算出しています。
 | |
 | |
| 作者 | フランス国立情報学自動制御研究所, パリ第7大学, エコール・ポリテクニーク, パリ第11大学, リヨン高等師範学校 |
|---|---|
| 初版 | 4.10 (1989年) |
| 最新版 |
9.0.0
/ 2025年3月12日 |
| リポジトリ | |
| プログラミング 言語 | OCaml |
| 対応OS | マルチプラットフォーム |
| 対応言語 | 多言語対応 |
| 種別 | 定理証明支援系 |
| ライセンス | GNU LGPL 2.1 |
| 公式サイト | The Coq Proof Assistant |
「Coq」をWikipediaのカテゴリー
Wikipediaで調べる
「Coq」さんについての
一言コメント
まだコメントはありません。