| ▲ | dahart 4 hours ago | |
Out of curiosity, why’s that? I don’t know formal methods nor the relationship to python. | ||
| ▲ | mrkeen 18 minutes ago | parent [-] | |
The most widely available, useful, and best-bang-for-buck formal method is using a good type system. | ||
| ▲ | dahart 4 hours ago | |
Out of curiosity, why’s that? I don’t know formal methods nor the relationship to python. | ||
| ▲ | mrkeen 18 minutes ago | parent [-] | |
The most widely available, useful, and best-bang-for-buck formal method is using a good type system. | ||