Skip to content
Ubuntu build

Move factorial from Cubical.Data.Fin.LehmerCode to Cubical.Data.Nat.Properties #2726

Sign in to view logs

Move factorial from Cubical.Data.Fin.LehmerCode to Cubical.Data.Nat.Properties

Move factorial from Cubical.Data.Fin.LehmerCode to Cubical.Data.Nat.Properties #2726

Triggered via pull request February 9, 2025 12:37
@anshwad10anshwad10
synchronize #1184
anshwad10:patch-3
Status Success
Total duration 32m 16s
Artifacts –

ci-ubuntu.yml

on: pull_request
test-cubical
32m 7s
test-cubical
Fit to window
Zoom out
Zoom in