CODE_OF_CONDUCT.md

June 17, 2021 · View on GitHub

The code of conduct for the tlapm project is: https://github.com/tlaplus/tlaplus/blob/master/.github/CODE_OF_CONDUCT.md