古い方のLean Manual #2210

Open

Labels

資料・教材

opened

https://sebasti.a.nullri.ch/lean4/doc/whatIsLean.html

Metadata

Assignees

No one assigned

Labels

資料・教材

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests