GitHub repository: liamoc/holbert
Primary language: Haskell
Created: 2020-09-08T12:57:40Z
Description: A graphical interactive proof assistant designed for education