logoalt Hacker News

esafak • today at 12:04 AM • 1 reply • view on HN

Is this useful for specifying programs too or only theorems?

Replies

zeckalpha • today at 12:18 AM

Curry-Howard correspondence.

➕ show 1 reply