你即將離開本站

並前往https://github.com/hide-kawabata/traf

hide-kawabata/traf: A proof tree viewer that works with Coq ...

Traf is a proof tree viewer which cooperates with a proof assistant Coq and ... to open Traf's window by pushing "prooftree icon" on the menubar of Emacs.

確定！ 回上一頁

查詢 「Traf Icon」的人也找了：

  1. iPhone free icon
    2.
  2. TRAF
    3.
  3. iOS icon
    4.
  4. Iphone icon png
    5.
  5. Twitter traf
    6.
  6. Free icon commercial use
    7.
  7. iOS 14 icon aesthetic
    8.
  8. Traf Icon
    9.