Skip to content

Truncated logarithm over the natural numbers#1311

Open
LorenzoMolena wants to merge 3 commits into
agda:masterfrom
LorenzoMolena:logN
Open

Truncated logarithm over the natural numbers#1311
LorenzoMolena wants to merge 3 commits into
agda:masterfrom
LorenzoMolena:logN

Merge branch 'agda:master' into logN

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

Annotations

1 warning
test-cubical
succeeded Jun 2, 2026 in 24m 3s