ClueHacker News
Archiveverified release

An introduction to formal proof verification and the Curry-Howard Correspondence

Posted by max-amb on 2026-07-25 · max-amb.github.io

Discussion record

Score
27
Comments
6
Read
6

The discussion on Hacker News · The article

Full-thread reading

The retained reading has not passed independent publication checks. Its summary is withheld.

The summary gate never changes the score, comment count, story metadata, or retained-history figures above.