1 points | by sihe 5 hours ago ago
1 comments
>safest
>No human programmer had to read or edit
I don't know that most people would consider this a positive?
How can the proofs themselves be verified if nobody looked at them?
>safest
>No human programmer had to read or edit
I don't know that most people would consider this a positive?
How can the proofs themselves be verified if nobody looked at them?