2024-10-20 - 2025-04-20
Overview
Excluding merges,
1 author
has pushed
51 commits
to main and
51 commits
to all branches.
On main,
38 files
have changed
and there have been
6876 additions
and
2556 deletions.
4 issues created by 1 user
Opened
#1 ensure algebraic lawfulness
Opened
#2 add additional structures
Opened
#3 rewrite tests
Opened
#4 write interfaces for algebras