欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Computational Geometry Algorithms Library (CGAL) 是一个高效、可靠的 C++ 几何算法库。
可用于计算机图形学、科学可视化、计算机辅助设计与建模、地理信息系统、分子生物学、医学影像、机器人学和运动规划和数值方法。
