Good morning! This is the artifact for oopsla'24 paper #76: Forge: A Tool and Language for Teaching Formal Methods The purpose of this artifact is to show that Forge works as advertised. To that end, we provide instructions for installing Forge (similar to what our students see), links to the documentation, and code from the paper. Artifact Contents `doc/`: local copy of Forge documentation `src/`: local copy of Forge source code `evaluation/`: surveys, scripts, and some data from the evaluation `README.md`: overview `f2_ttt.frg`: example of `#lang froglet` `f3_nodes.frg`: example of `#lang forge` (relational Forge) `f4_counter.frg`: example of `#lang forge/temporal` `f5/`: model and visualization for a crypto protocol `f6/`: model and visualization for a river-crossing puzzle `f7/`: model and visualization for network reachability `f8_testing.frg`: examples of testing constructs `f9_core.rkt`: example of `#lang forge/core` `queens/`: model and visualization for the N queens problem `borrow-newt.pdf` : slides from a student project presentation `stencil/`: starter code for a few models, try filling them in!