10 lines
118 B
Markdown
10 lines
118 B
Markdown
---
|
|
title: TLA+ Proof
|
|
allDay: false
|
|
startTime: 15:00
|
|
endTime: 17:30
|
|
date: 2025-02-28
|
|
completed: null
|
|
type: single
|
|
---
|