Libraries

MathHub.info groups content by user accounts and independent libraries, e.g. the libraries of theorem provers that are maintained by whole communities.

MathHub libraries consist of individual math archives that are individually versioned and carry individual sets of permissions.

MathHub libraries can only be established by the MathHub Library Committee, to propose a library for MathHub send e-mail with your proposal to libraries@mathhub.info.

Responsible: kohlhase@kwarc.info,mihnea.iancu@kwarc.info

Groups: 0
Archives: 0
Views: 0
Theories: 0
Definitions: 0
Constants: 0
Files: 0
Size: 0K