GitHub repository: k-mouline/Forge
Description: Forge: A Tool and Language for Teaching Formal Methods