Zero to Qed をリンク集に載せる #2251

Closed

opened

載せる前に多少中身をチェックしたい気持ちはある。

https://sdiehl.github.io/zero-to-qed/01_introduction.html

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests