Lean: 定理证明器与微内核

Dieken · 2023 年1 月 7 日 02:49

lynx gopher://gopher.club/1/users/ldbeth/ 可以打开，那三个 part 1/2/3 试了好几次才打开。。。

LdBeth · 2023 年1 月 7 日 03:43

在 Emacs 上装 elpher 可访问。