|
|
|
|
|
|
by godelski
98 days ago
|
|
|
True, but I seriously doubt people are writing formal proofs for their code. I've only seen this in niche academic circles and high security/safety settings. I also am pretty certain it's not what you're suggesting, but hey, I could be wrong |
|
|