全部搜尋項
wheezy  ] [  jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ 原始碼: ssreflect  ]

套件:libssreflect-ocaml(1.3pl4-1)

libssreflect-ocaml 的相關連結

Screenshot

Debian 的資源:

下載原始碼套件 ssreflect

維護小組:

外部的資源:

相似套件:

small scale reflection extension for Coq (plugin)

This package is part of Ssreflect, the small scale reflection extension for Coq. It provides a new tactic language, which promotes more structured, concise and robust proof scripts, and is in fact independent from the "reflection" proof style. It is implemented as a linkable extension to the Coq system.

其他與 libssreflect-ocaml 有關的套件

  • 依賴
  • 推薦
  • 建議
  • 增強

下載 libssreflect-ocaml

下載可用於所有硬體架構的
硬體架構 套件大小 安裝後大小 檔案
i386 394。8 kB1,561。0 kB [檔案列表]