Skip to content

v4 T-3: model std/nat.dag — Peano Nat + Monoid/Semiring inhabitance - #3165

Merged
briansrls merged 6 commits into
mainfrom
session/vivid-carp-663
May 16, 2026
Merged

v4 T-3: model std/nat.dag — Peano Nat + Monoid/Semiring inhabitance#3165
briansrls merged 6 commits into
mainfrom
session/vivid-carp-663

Merge remote-tracking branch 'origin/main' into session/vivid-carp-663

edafd6e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar