TY  - RPRT
TI  - Licensing the Mizar Mathematical Library
AU  - Jesse Alama
AU  - Michael Kohlhase
AU  - Adam Naumowicz
AU  - Piotr Rudnicki
AU  - Josef Urban
AU  - Lionel Mamane
PY  - 2011
DO  - 10.1007/978-3-642-22673-1_10
UR  - https://arxiv.org/abs/1107.3212
ID  - 1107.3212
ER  -