Lean4中文教程
Primary LanguageHTMLApache License 2.0Apache-2.0
Lean4中文教程 译者自制习题参考答案在github仓库的Exercise文件夹中