Process documentation
How to become a TPTP Committer

The process explaining how to become a TPTP Committer can be found in the TPTP Project Charter.