Oscar.jl 0.8.1 released

Today Oscar.jl 0.8.1 has been released.

Diff since v0.8.0

Closed issues:

Merged pull requests:

Edit this page Contact Imprint Privacy policy © 2018-2022 The OSCAR Group