Documentation
- For general information about UniMath, citing UniMath and the coordinating committee, see the documentation page About UniMath.
- For installing UniMath and other software-related information, see setup.
- For tutorials and guides about everything you need to get going with writing code, see Guides.
- For contributing to UniMath, see the documentation about Contributing.