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