Reconstructing Concurrency Invariants Through Medieval East Asian Logic (oborona.zip)

<a href="https://news.ycombinator.com/item?id=49653509">Comments</a>