Skip to content
push to main

[Usa2003Q1] use new Nat.digits_append_digits theorem #162

Sign in to view logs

[Usa2003Q1] use new Nat.digits_append_digits theorem

[Usa2003Q1] use new Nat.digits_append_digits theorem #162

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build library and deploy dashboard to Github Pages
3m 57s
3m 57s