Hacker News new | past | comments | ask | show | jobs | submit login

This is a jump straight into the deep end. I can't recommend starting here. "How to prove it" https://www.amazon.com/How-Prove-Structured-Approach-2nd/dp/... would be a much more appropriate start

Naw, straight into the deep end is to start with reading the Homotopy Type Theory book... https://homotopytypetheory.org/book/

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