The Open Math Standard, Version 2.0 (0)

by S Buswell, O Caprotti, D Carlisle, M Dewar, M Gaetano, M Kohlhase
Venue:The Open Math Society