Skip to content
Check Proofs

move Symbol.num into its own file Num.lean #176

Sign in to view logs

move Symbol.num into its own file Num.lean

move Symbol.num into its own file Num.lean #176

Triggered via push December 22, 2025 11:55
@awalterschulzeawalterschulze
pushed 5d3b31c
main
Status Success
Total duration 2m 34s
Artifacts –

build.yml

on: push
build
2m 30s
build
Fit to window
Zoom out
Zoom in