Alkemet News
Formally Verifying PBS Kids with Lean4 (shadaj.me)

64 points

byshadaj

6 days ago |

5 comments