Lean - Thereom Prover
2025年3月31日...小于 1 分钟
Lean - Thereom Prover
写在前面
这个实则是在学λ演算的时候发现的好东西
0x00 Introduction and Setup
Lean Prover 4 is a toolchain for
你认为这篇文章怎么样？
0
0
0
0
0
0
Powered by Waline v3.5.6
写在前面
这个实则是在学λ演算的时候发现的好东西
Lean Prover 4 is a toolchain for
