欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
模板: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.
分享您的观点