Super HN

   Formally Verifying PBS Kids with Lean4 (shadaj.me) 8 points by shadaj 6 days ago