Formally Verifying PBS Kids with Lean4

  • Posted 6 days ago by shadaj
  • 64 points
https://www.shadaj.me/writing/cyberchase-lean

1 comments

    Loading..