Attempt to be mentioned in TLA+ homepage · Issue #5784 · tikv/tikv · GitHub

DRANK

Question I'm learning TLA+ and found there's an Industrial Use of TLA+ page recording companies who use TLA+. Since we have a TLA+ repo and posts (though in Chinese), I write a simple email...