search

bbengfort / printing-press

Repository for collaborative documents
Other
0 stars 1 forks source link

TLA+ Workshop #22

Closed bbengfort closed 6 years ago

bbengfort commented 6 years ago

Attend TLA+ workshop and start working on proofs.