Skip to content

Actions: eneoli/dLean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
205 workflow runs
205 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
cleanup Lean Action CI #220: Commit 902f778 pushed by eneoli
2m 45s main
main
2m 45s
chore(Axioms): Add DS to build and fix misc. Lean Action CI #219: Commit 7d0a5d2 pushed by EnguerrandPrebet
4m 45s main
main
4m 45s
cleanup Lean Action CI #218: Commit 28e9b8e pushed by eneoli
4m 26s main
main
4m 26s
chore: Rename Assignable into Variable Lean 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 Fn Lean 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