精益编程语言和定理证明器的“包含电池”扩展库The "batteries included" extended library for the Lean programming language and theorem prover (2024-05-07, Lean, 0KB, 下载0次)