| it hardly teaches you how to write proofs Proofs are coming, the site is a work in progress. https://x.com/justinskycak/status/1835085776524394951 https://x

| it hardly teaches you how to write proofs Proofs are coming, the site is a work in progress. https://x.com/justinskycak/status/1835085776524394951 https://x.com/justinskycak/status/1835085776524394951