Formally Verifying PBS Kids with Lean4shadaj.me
63 points by shadaj 6 days ago | 5 comments