---
title: TLA+ Proof
allDay: false
startTime: 15:00
endTime: 17:30
date: 2025-02-28
completed: null
type: single
---