Skip to content

Actions: lecopivo/SciLean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5 workflow run results
5 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

work on verified AD CI #183: Commit 036691f pushed by lecopivo
July 19, 2023 21:44 55m 49s master
master
July 19, 2023 21:44 55m 49s
work on mathlib based differentiation CI #182: Commit 204893d pushed by lecopivo
July 17, 2023 21:13 16m 25s master
master
July 17, 2023 21:13 16m 25s
custom selection of candidate simp rules in ftrans CI #181: Commit c6180f1 pushed by lecopivo
July 14, 2023 21:19 23m 56s master
master
July 14, 2023 21:19 23m 56s
use differentiable tactic when differentiating CI #180: Commit 4d226de pushed by lecopivo
July 13, 2023 20:33 19m 9s master
master
July 13, 2023 20:33 19m 9s
tactics to prove ContinuousLinearMap and Differentiable CI #179: Commit db890d1 pushed by lecopivo
July 13, 2023 20:20 14m 17s master
master
July 13, 2023 20:20 14m 17s