v0.4.11

github-actions released this 04 Jun 18:05

· 150 commits to master since this release

96f6f6f

HomalgProject v0.4.11

Diff since v0.4.10

Merged pull requests:

set GAP's screen width to maximal value (#43) (@mohamed-barakat)

Assets 2