Formally Verifying PBS Kids with Lean4

(shadaj.me)

7 points | by shadaj 5 hours ago ago

No comments yet.