GitHub repository: HigherOrderCO/Kind
Primary language: Haskell
Description: A modern proof language