你即將離開本站

並前往http://twelf.org/wiki/Eta-equivalence

Eta-equivalence - The Twelf Project

Eta-expansion transforms an arbitrary proof of a proposition into a proof that introduces the proposition's principal connective. A term with no ...

確定！ 回上一頁

查詢 「Expanded Equivalence」的人也找了：

  1. Auxilium Equivalence
    2.
  2. Projectex
    3.
  3. Draconic Evolution
    4.
  4. HammerCore
    5.
  5. Refined Exchange
    6.
  6. EMC Baubles
    7.
  7. Mystical Agriculture
    8.
  8. ProjectE Integration
    9.