Add the TLA+ Project Technical Charter

tlaplus · Jan 13, 2023 · 949b951 · 949b951
1 parent 3c554ca
commit 949b951
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/TLA+ Project Technical Charter.pdf b/TLA+ Project Technical Charter.pdf