proofs This directory contains TLA+ proofs for some algorithms in quick-lint-js's C++ code. [WindowsPipeReadThread.tla][]: Proof of an algorithm used in Event_Loop_Windows.