玩精益定理证明器的休闲产品，主要是PR到其他项目的中间产品casual products of playing with Lean theorem prover, mostly intermediates of PRs to other projects (2024-04-27, Lean, 0KB, 下载0次)