Giters

LogicalMonster / mathematics_in_lean

The user home repository for the Mathematics in Lean tutorial.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Mathematics in Lean

尝试着将Mathematics in Lean机翻为中文，翻译后的文件在markdown文件夹中，目前粗略的机翻了前三章。

About

The user home repository for the Mathematics in Lean tutorial.

Languages

Language:HTML 84.8%Language:Lean 12.4%Language:JavaScript 1.8%Language:CSS 0.9%Language:Dockerfile 0.1%