doc

Jan 13, 2025

c2f5330 · Jan 13, 2025

Name	Name	Last commit message	Last commit date
parent directory ..
diagrams	diagrams	Save image	Aug 25, 2022
notes	notes	save note	Jan 13, 2025
README.md	README.md	Add link	Jan 13, 2025
definitions-contexts-and-modules.md	definitions-contexts-and-modules.md	Format text	Jan 13, 2025
embed.html	embed.html	Save note	Apr 20, 2024
embedding.md	embedding.md	Edit notes	Apr 20, 2024
how-tlc-computes-states.md	how-tlc-computes-states.md	Save some rough docs	Aug 25, 2022
testing.md	testing.md	notes	Aug 25, 2022
tla-evaluation.md	tla-evaluation.md	Update tla-evaluation.md	Aug 3, 2023
tla-modules.md	tla-modules.md	Save module notes	Jul 10, 2024

Provide feedback