Skip to content

Actions: eneoli/dLean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
206 workflow runs
206 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
chore: Rename Assignable into VariableLean Action CI #217: Commit a284dce pushed by eneoli
 5m 4s main
main
 5m 4s
feat(Axioms): Add new axioms Lean Action CI #216: Commit ab5a0b1 pushed by EnguerrandPrebet
 2m 46s main
main
 2m 46s
Merge pull request #42 from eneoli/eprebet/functional Lean Action CI #215: Commit 793f006 pushed by EnguerrandPrebet
 4m 13s main
main
 4m 13s
Eprebet/functional Lean Action CI #214: Pull request #42 synchronize by EnguerrandPrebet
 14m 6s eprebet/functional
eprebet/functional
 14m 6s
fix(DG): fix uniqueness Lean Action CI #213: Commit 47c58d6 pushed by EnguerrandPrebet
 4m 19s eprebet/functional
eprebet/functional
 4m 19s
Eprebet/functional Lean Action CI #212: Pull request #42 synchronize by EnguerrandPrebet
 3m 50s eprebet/functional
eprebet/functional
 3m 50s
feat(All): Extend quantifiers to Assignable Lean Action CI #211: Commit d647a42 pushed by EnguerrandPrebet
 6m 9s eprebet/functional
eprebet/functional
 6m 9s
Eprebet/functional Lean Action CI #210: Pull request #42 synchronize by EnguerrandPrebet
 3m 25s eprebet/functional
eprebet/functional
 3m 25s
Split FreeVariables and FreeVarsSem Lean Action CI #209: Commit 715800e pushed by EnguerrandPrebet
 3m 14s eprebet/functional
eprebet/functional
 3m 14s
Eprebet/functional Lean Action CI #208: Pull request #42 synchronize by EnguerrandPrebet
 1m 57s eprebet/functional
eprebet/functional
 1m 57s
fix(Axiom): Add DI to import Lean Action CI #207: Commit b58d267 pushed by EnguerrandPrebet
 2m 15s eprebet/functional
eprebet/functional
 2m 15s
Eprebet/functional Lean Action CI #206: Pull request #42 opened by EnguerrandPrebet
 3m 59s eprebet/functional
eprebet/functional
 3m 59s
fix(Axioms): Full differential axioms Lean Action CI #205: Commit 7470f4b pushed by EnguerrandPrebet
 3m 11s eprebet/functional
eprebet/functional
 3m 11s
chore(USubst): Move .unit out of FnLean Action CI #204: Commit c92c409 pushed by EnguerrandPrebet
 3m 30s eprebet/functional
eprebet/functional
 3m 30s
chore(USubst): Clean unused notions and reorder files Lean Action CI #203: Commit 074e0be pushed by EnguerrandPrebet
 3m 26s eprebet/functional
eprebet/functional
 3m 26s
Merge pull request #41 from eneoli/eprebet/onepass Lean Action CI #202: Commit 9ade85c pushed by EnguerrandPrebet
 3m 10s main
main
 3m 10s
feat(All): USubst with UnitFunction proved sound Lean Action CI #201: Commit d5d0543 pushed by EnguerrandPrebet
 3m 33s eprebet/functional
eprebet/functional
 3m 33s
Added LICENSE Lean Action CI #200: Commit fc76d9d pushed by eneoli
 2m 16s main
main
 2m 16s
Merge branch 'main' of github.com:eneoli/dLean Lean Action CI #199: Commit 225f7ce pushed by eneoli
 1m 22s main
main
 1m 22s
Merge pull request #40 from eneoli/eneoli/axioms Lean Action CI #198: Commit d107867 pushed by eneoli
 4m 14s main
main
 4m 14s
Axioms of Differential Dynamic Logic Lean Action CI #197: Pull request #40 synchronize by eneoli
 4m 12s eneoli/axioms
eneoli/axioms
 4m 12s
cleanup Lean Action CI #196: Commit bc75bb7 pushed by eneoli
 3m 41s eneoli/axioms
eneoli/axioms
 3m 41s
Axioms of Differential Dynamic Logic Lean Action CI #195: Pull request #40 synchronize by eneoli
 5m 39s eneoli/axioms
eneoli/axioms
 5m 39s
misc Lean Action CI #194: Commit eff6681 pushed by eneoli
 5m 20s eneoli/axioms
eneoli/axioms
 5m 20s
Axioms of Differential Dynamic Logic Lean Action CI #193: Pull request #40 synchronize by eneoli
 5m 42s eneoli/axioms
eneoli/axioms
 5m 42s