欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
模板:Infobox Software
来自开放百科 - 灰狐
|
{{#if:|
<tr><td colspan="2" style="text-align: center;"> | |
|---|---|
| Use: |
{{#if:| <tr><th>License:</th><td>{{{license}}}</td></tr>| {{#if:| <tr><th>Licence:</th><td>{{{licence}}}</td></tr> }}}} |
| Website: | {{{website}}} |
Usage
{{Infobox Software
| name =
| logo =
| screenshot =
| caption =
| author =
| developer =
| released =
| latest release version =
| latest release date =
| latest preview version =
| latest preview date =
| operating system =
| platform =
| genre =
| license =
| website =
}}
|
分享您的观点