authors
- Farmer, William Michael
- Alama, Jesse
- Kohlhase, Michael
- Mamane, Lionel
- Naumowicz, Adam
- Rudnicki, Piotr
- Urban, Josef
Licensing the Mizar Mathematical Library.
Conferences
- Overview
- Identity
- Additional Document Info
- View All