uwu-tech/kind

A modern proof language

232 best points · 111 comments · 3 Hacker News posts · 3,763 GitHub stars · View on GitHub

Hacker News discussions

• Kind: A Modern Proof Language (232 points, 111 comments, by danny00, 2021-08-11)
• Show HN: Kind, a minimal, efficient, practical proof language (2 points, 0 comments, by LightMachine, 2021-05-16)
• First class modules with self types (2 points, 0 comments, by LangMakers, 2021-07-29)