欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Hugo
Hugo 是一个用 Go 语言编写的静态 HTML 和 CSS 网站生成器，采用 Apache v2 许可证。
$ sudo snap install hugo --channel=extended $ sudo snap list
