| ▲ | esafak 4 hours ago | |
Is this useful for specifying programs too or only theorems? | ||
| ▲ | zeckalpha 3 hours ago | parent [-] | |
Curry-Howard correspondence. | ||
| ▲ | esafak 4 hours ago | |
Is this useful for specifying programs too or only theorems? | ||
| ▲ | zeckalpha 3 hours ago | parent [-] | |
Curry-Howard correspondence. | ||