Formally Verifying PBS Kids with Lean4

by shadaj | View on Hacker News