你即將離開本站

並前往https://arxiv.org/abs/1401.7694

Experience Implementing a Performant Category-Theory ...

In this paper, we share the lessons we have learned about how to represent very abstract mathematical objects and arguments in Coq and how ...

確定！ 回上一頁

查詢 「Performant mod」的人也找了：

  1. Polymorph mod
    2.
  2. Starlight mod
    3.
  3. Performant mod
    4.
  4. Phosphor mod
    5.
  5. VanillaFix
    6.
  6. Lithium mod
    7.
  7. Dynamic View mod
    8.
  8. Placebo mod
    9.