Ωmega: Towards a mathematical assistant

From MaRDI portal
Publication:5234706