Actions: lecopivo/SciLean
Actions
Showing runs from all workflows
480 workflow runs
480 workflow runs
fprop
can unfold definitions
CI
#281:
Commit 7ac0922
pushed
by
lecopivo
Fintype
and use exclusively EnumType
CI
#276:
Commit c258c1f
pushed
by
lecopivo
symdiff
and autodiff
which is just a wrapper around `ftr…
CI
#266:
Commit 6053f78
pushed
by
lecopivo
∇ x, f x
notation
CI
#265:
Commit 066e6c7
pushed
by
lecopivo
approx_limit
and fixed HarmonicOscillator examples
CI
#262:
Commit 41be748
pushed
by
lecopivo
ApproxSolution
CI
#259:
Commit 4149441
pushed
by
lecopivo
ProTip!
You can narrow down the results and go further in time using created:<2023-08-23 or the other filters available.