欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
MediaWiki 加入 Google AdSense
设计能在左、右、上、下、中部加入广告位。