|
|
|
|
|
|
by jules
5829 days ago
|
|
|
Learning what a proof is is valuable for programming too. Many people don't see a difference between a proof and an argument. It is valuable to learn the difference between "This is why this program is correct" and "Here are some reasons why this program is probably correct". |
|
|