GitHub repository: liamoc/holbert-ng
Primary language: ReScript
Description: the next generation of the holbert proof assistant