欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Crown and Cutlass 是一个 3D 海盗动作/冒险类游戏。
本游戏使用 C++ 开发, 并采用了 OpenGL 和 SDL 等技术。
模板:Commemnt