Show HN: Kind, a minimal, efficient, practical proof languagegithub.com/uwu-tech2 pointsLightMachine5 years ago