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