HomeMetamath Home Contact us  

The two best ways to contact the Metamath project are:

  1. Via the Metamath mailing list.
  2. By creating a GitHub issue (most often in the set.mm repository but we also list related repositories at other.html and some are in the the Metamath GitHub organization).

By asking questions in public you increase the chances of reaching someone with the time and ability to respond.

However, the individuals listed in the CONTRIBUTING file are also willing to be contacted individually.


W3C HTML validation