Closed fingolfin closed 3 months ago
It links to the Oscar.jl repository which I find confusing. At least it could say "go to the OSCAR repository; or link to the book repository; or, well, be removed.
It links to the Oscar.jl repository which I find confusing. At least it could say "go to the OSCAR repository; or link to the book repository; or, well, be removed.