![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 06 - Yannick Welsch - Using TLA+ for fun and profit in the development of Elasticsearch.txt | 2019-09-15 04:53 | 101 | |
| 04 - David McNeil - salt-talk-6.pdf | 2019-09-15 04:53 | 565K | |
| 06 - Yannick Welsch - Using TLA+ for fun and profit in the development of Elasticsearch.pptx | 2019-09-15 04:53 | 1.2M | |
| 02 - Vaibhav Sharma - TLA+ @Azure IoT - Final.pptx | 2019-09-15 04:53 | 1.2M | |
| 06 - William Schultz - Strangeloop TLA+ Conference 2019 Talk.pdf | 2019-09-15 04:53 | 1.4M | |
| 02 - Ivan Beschastnikh Finn Hackett - TLA+ conf 2019 PGo presentation.pdf | 2019-09-15 04:53 | 1.4M | |
| 05 - Russel Mull - TLA+ Presentation - Russell Mull.pdf | 2019-09-15 04:53 | 1.9M | |
| 01 - David Langworthy - TLA+ Strange Loop 2019.pptx | 2019-09-15 04:53 | 2.3M | |