This is to track progress in the direction of on-boarding documentation. It is being discussed on the Lean Zulip [here](https://leanprover.zulipchat.com/#narrow/channel/479953-PhysLean/topic/Collaborative.20Teams.3F/with/534867364). Some possible directions: 1. Improve the getting started page: https://physlean.com/GettingStarted with information regarding GitHub forking etc. 2. Update the contributing file in the main PhysLean repository, to include the key information needed to contribute to the project. 3. Create a frequently asked questions page concerning basic questions within the project. Feel suggest other points here, or assign yourself to any points. Long-form discussions or questions should be made on the Zulip.
Activity