你即將離開本站

並前往https://github.com/math-comp/hierarchy-builder

math-comp/hierarchy-builder: High level commands to declare ...

HB commands compile down to Coq modules, sections, records, coercions, canonical structure instances and notations following the packed classes discipline which ...

確定！ 回上一頁

查詢 「→ math」的人也找了：

  1. meaning
    2.
  2. Domain math
    3.
  3. Mapsto
    4.
  4. Function wiki
    5.
  5. Meaning in math
    6.
  6. What is function
    7.
  7. Codomain math example
    8.
  8. Math symbols LaTeX
    9.