GitHub repository: subfish-zhou/theorem_proving_in_lean4_zh_CN
Primary language: HTML
Created: 2021-12-08T16:33:53Z
Description: Lean4中文教程