Rename posts

This commit is contained in:
JP Hastings-Spital 2023-07-25 19:42:02 +01:00
parent ac403857b6
commit 6a18d5cb58
2 changed files with 2 additions and 2 deletions

View file

@ -1,5 +1,5 @@
---
title: "Distributed game protocols: Open games"
title: "Trust and simple games"
emoji: ♟️
date: 2023-07-16T07:26:11+01:00
draft: false

View file

@ -1,5 +1,5 @@
---
title: "Games with randomness"
title: "Trusting random at a distance"
emoji: 🎲
date: 2023-07-25T19:25:00+01:00
draft: false