Hacker Neus
Formally Verifying PBS Kids with Lean4
(shadaj.me)
59 points
by shadaj
6 days ago |
4 comments
