![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| engineering_quotes.html | 2024-05-05 12:31 | 1.4K | |
| example_paxos.tla | 2024-05-05 14:51 | 10K | |
| human_life.tla | 2024-05-05 14:48 | 800 | |
| taplus_reference_lin..> | 2024-05-05 14:47 | 135 | |
| tlaplus_links.html | 2024-05-05 12:24 | 366 | |