Formally Verifying PBS Kids with Lean4

 (shadaj.me)

36 points | by shadaj 6 days ago ago

No comments yet.