欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Lisp Desktop Foundation
一个 Lisp 桌面应用生态系统。
Lisp 对计算机图形学、3D图形学、虚拟环境、OpenGL、Vulkan 等技术的支持和项目应用:
推进 OpenBook 开放出版系统。