3 ms·
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/052167
by frostirosti 10y ago
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/0521675995 https://www.amazon.com/How-Prove-Structured-Approach-2nd/dp/... would be a much more appropriate start
- SAI_Peregrinus 10y agoNaw, straight into the deep end is to start with reading the Homotopy Type Theory book... https://homotopytypetheory.org/book/ https://homotopytypetheory.org/book/