Skip to content
Formalization website

Higher computational properties of computational identity types (#1026) #458

Sign in to view logs

Higher computational properties of computational identity types (#1026)

Higher computational properties of computational identity types (#1026) #458

Run time

Learn about OS pricing on GitHub Actions
Job Run time
website (2.6.4)
20m 12s
20m 12s