你即將離開本站

並前往https://math-comp.github.io/mcb/

Mathematical Components (the book)

Mathematical Components is the name of a library of formalized mathematics for the Coq proof assistants. It covers a variety of topics, from the theory of ...

確定！ 回上一頁

查詢 「Mathematical」的人也找了：

  1. mathematical中文
    2.
  2. mathematical model中文
    3.
  3. Mathematical
    4.
  4. Mathematics
    5.
  5. mathematically中文
    6.
  6. Mathletics
    7.
  7. Mathematical induction
    8.
  8. Mathematical model
    9.