欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Wikia
来自开放百科 - 灰狐
The software that runs www.wikia.com -- based on MediaWiki.
Code
svn co https://wikia-code.com/wikia/trunk/ wikia
Install
Links
分享您的观点