Skip to content
Ubuntu build

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

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 #2732

Triggered via pull request February 14, 2025 12:26
@anshwad10anshwad10
synchronize #1184
anshwad10:patch-3
Status Success
Total duration 3m 25s
Artifacts –

ci-ubuntu.yml

on: pull_request
test-cubical
3m 15s
test-cubical
Fit to window
Zoom out
Zoom in