Formal Verification Is Not Verifiable: Bouba and Kiki Software (alperenkeles.com) 1 points by matt_d 1d ago ↗ HN
2 comments
[ 0.87 ms ] story [ 13.0 ms ] thread