欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
模板:Infobox Software
来自开放百科 - 灰狐
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 =
}}
|
Note 1: Pick either license (American English) or licence (Commonwealth English), not both - select the one which matches the content of the article the template is used in. Note 2: The developer field actually displays as Maintainer.
分享您的观点