Show HN: Kind, a minimal, efficient, practical proof languagegithub.com2 points·LightMachine··0 commentsOpen articleSaveView on HN