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