Skip to content

[Add] Consequences of associativity for Semigroups#2688

Merged
JacquesCarette merged 34 commits into
agda:masterfrom
jmougeot:semigroup
Jul 2, 2025
Merged

[Add] Consequences of associativity for Semigroups#2688
JacquesCarette merged 34 commits into
agda:masterfrom
jmougeot:semigroup

update Changelog and minor improvments

f290a2a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.