GitHub repository: rayhanayasmin/holbert
Primary language: Haskell
Description: A graphical interactive proof assistant designed for education