search

bbengfort / printing-press

Repository for collaborative documents
Other
0 stars 1 forks source link

HC TLA+ Specification #24

Open bbengfort opened 6 years ago

bbengfort commented 6 years ago

Specify HC in TLA+ and create a model to check it.