你即將離開本站

並前往https://coq.inria.fr/refman/addendum/program.html

Program — Coq 8.15.2 documentation - The Coq Proof Assistant

A Definition command with the program attribute types the value term in Russell and generates proof obligations. Once solved using the commands shown below, it ...

確定！ 回上一頁

查詢 「program定義」的人也找了：

  1. program用法
    2.
  2. program project差異
    3.
  3. 程式定義
    4.
  4. program課程
    5.
  5. program計畫
    6.
  6. program動詞
    7.
  7. program音樂
    8.
  8. Programme program
    9.