GitHub repository: CyberFlameGO/pragmaticformalmodeling
Description: An instructional website with progressively worked examples of TLA+ specifications and model checking.