欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Faenza 是 GNOME 桌面的一个图标集,包括单色的面板、工具条、按钮以及彩色的方形设备、应用、文件夹、文件和菜单图标。