2023-11-25T18:01:00Z - 2024-05-25T17:01:00Z
Overview
Excluding merges,
3 authors
have pushed
8 commits
to main and
24 commits
to all branches.
On main,
40 files
have changed
and there have been
7073 additions
and
178 deletions.
2 Issues created by 1 user
Opened
#1 Improve Popov form computation
Opened
#2 Make better use of Sage's categories and structures