Related to this, I wish someone had a simple course on this for people who don’t know that much about (automated) proofs.<p>I looked it up on HN [1], but couldn’t find any.<p>[1] <a href="https://hn.algolia.com/?q=proof+assistant" rel="nofollow">https://hn.algolia.com/?q=proof+assistant</a>