Show HN: Kind, a minimal, efficient, practical proof languagehttps://github.com/uwu-tech/Kind by LightMachine • 5 years ago 2 0 5 years agoGIgithub.com