Lean: 定理证明器与微内核

[Dieken]

@LdBeth

gopher://gopher.club/1/users/ldbeth/

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

[LdBeth]

在 Emacs 上装 elpher 可访问。