Download
https://hackershare.dev/bookmarks/683285
Show HN: Kind, a minimal, efficient, practical proof language
Share