Have you seen: https://leanprover-community.github.io/mathematics_in_lean/ | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Tainnor 6 months ago \| parent \| context \| favorite \| on: Functions Are Vectors (2023) Have you seen: https://leanprover-community.github.io/mathematics_in_lean/

chongli 6 months ago [–]

I hadn’t seen that. Thanks!

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact