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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-cubical
3m 15s
3m 15s