1.
README
2.
引言
3.
练习题
3.1.
01Rewriting
3.2.
02Iff
3.3.
03Forall
3.4.
04Exists
3.5.
专题练习
3.5.1.
直觉主义命题逻辑
3.5.2.
伽罗华对应关系
3.5.3.
直觉性命题逻辑
3.5.4.
序列极限
4.
习题解答
4.1.
01Rewriting
4.2.
02Iff
4.3.
03Forall
4.4.
04Exists
4.5.
专题答案
4.5.1.
中国剩余定理
4.5.2.
直觉主义命题逻辑
4.5.3.
伽罗华对应关系
4.5.4.
直觉性命题逻辑
4.5.5.
序列极限
Light
Rust
Coal
Navy
Ayu
初探 LEAN
练习题