# Code of conduct

ECRuntime is a research project. We want a place where anyone can propose, question and
correct mathematics without fear.

## Expected

- Be respectful to everyone, whatever their background or level of experience.
- Criticize statements, proofs and sources, never people.
- Be precise: point to the step, the hypothesis or the line you mean.
- Accept correction gracefully, and give credit where it is due.

## Not tolerated

- Harassment, insults, or discriminatory remarks of any kind.
- Personal attacks, trolling, or deliberately derailing a discussion.
- Publishing someone else's private information without their permission.
- Presenting someone else's work as your own.

## Enforcement

The maintainers ([`CONTRIBUTORS.md`](CONTRIBUTORS.md)) may edit or remove comments,
close issues and pull requests, and block participants who break these rules. Report a
problem to a maintainer privately, using the contact details on their GitHub profile;
reports are handled confidentially.