andr3/distributed_system_coursework
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases 1 Wiki Activity

chore: fix presentation
All checks were successful
continuous-integration/drone/push Build is passing
Details

Browse Source
This commit is contained in:
Andre Henriques 2024-01-09 15:03:12 +00:00
parent aff2a496df
commit e3971d2ff6
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
presentation/presentation.md
View File

@ -134,7 +134,7 @@ end
## Safety ## Safety
- If a game state exists, then it was created by a user - If a game state exists, then it was created by a user
- The game state can not divert. - The game state cannot divert.
## Liveness ## Liveness
- Eventually all users will have the same game state - Eventually all users will have the same game state