formalising-mathematics-2023
★ 0
updated 2y ago
⑂ fork
repository for material for Jan-Mar 2023 course on formalising mathematics
No plain-English explanation yet — one is being written right now. Check back in a minute.