---
title: TLA+ Module 6
allDay: false
startTime: 10:00
endTime: 10:30
date: 2025-04-09
completed: null
---