Formally Verifying PBS Kids with Lean4

62 points

by shadaj

6 days ago

5 comments