Skip to content
Ubuntu build

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

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

Annotations

1 error

The logs for this run have expired and are no longer available.