search

oscar-system / oscar-website

Dev repo for the oscar website
https://www.oscar-system.org
8 stars 32 forks source link

Add note on system requirements (issue on Oscar.jl: precompilation failed due to limited memory on WSL) #332

Closed fingolfin closed 2 months ago

fingolfin commented 3 months ago

See https://github.com/oscar-system/Oscar.jl/issues/3685