|
|
|
|
|
|
by EddySchauHai
1366 days ago
|
|
|
I've heard it is used at AWS. I've seen it personally used in crypto on the Cardano blockchain. Leslie Lamport gave a talk at my old workplace and mentioned several big companies in tech and finance that use it but I'm not sure if that is public info. |
|
|