Milestones - oscar-system/Oscar.jl · GitHub

2 Open 4 Closed

1.0

Closed Feb 20, 2025 Last updated 14 days ago

50% complete

3 open

3 closed
1.x

Closed Feb 20, 2025 Last updated 14 days ago

Stuff that we can defer post 1.0 but really would like to have for the Begehung

0% complete

0 open

0 closed
1.0-book

Closed Feb 20, 2025 Last updated 14 days ago

Pre-release for the book

71% complete

2 open

5 closed
OSCAR 0.12.0

Closed Aug 17, 2023 Last updated over 1 year ago

100% complete

0 open

6 closed