GitHub repository: HigherOrderCO/Kind-Legacy
Primary language: JavaScript
Description: A modern proof language