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

Triggered via push September 8, 2023 12:33
@dwrenshadwrensha
pushed 6e0b799
main
Status Success
Total duration 4m 11s
Artifacts –

push-main.yaml

on: push
Build library and deploy dashboard to Github Pages
3m 57s
Build library and deploy dashboard to Github Pages
Fit to window
Zoom out
Zoom in