Forge: A Tool and Language for Teaching Formal Methods. - Tim Nelson; Ben Greenman; Siddhartha Prasad; Tristan Dyer; Ethan Bove; Qianfan Chen; Charles Cutting; Thomas Del Vecchio; Sidney Levine; Julianne Rudner; Ben Ryjikov; Alexander Varga; et al. (Proc. ACM Program. Lang., 2024)