Name		Name	Last commit message	Last commit date
parent directory ..
WindowsPipeReadThread.toolbox		WindowsPipeReadThread.toolbox
.gitignore		.gitignore
README.md		README.md
WindowsPipeReadThread.tla		WindowsPipeReadThread.tla

README.md

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.