2025-03-07 - 2025-09-07
Overview
Excluding merges,
1 author
has pushed
52 commits
to main and
52 commits
to all branches.
On main,
47 files
have changed
and there have been
8714 additions
and
6867 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