Skip to content

Actions: eneoli/dLean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
200 workflow runs
200 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
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
Merge branch 'eneoli/axioms' of github.com:eneoli/dLean into eneo… Lean Action CI #192: Commit 9a11f52 pushed by eneoli
5m 33s eneoli/axioms
eneoli/axioms
5m 33s
One-pass substitution Lean Action CI #191: Pull request #41 opened by EnguerrandPrebet
3m 55s eprebet/onepass
eprebet/onepass
3m 55s
feat(USubst): Efficient One-pass Lean Action CI #190: Commit ac044fd pushed by EnguerrandPrebet
4m 23s eprebet/onepass
eprebet/onepass
4m 23s
feat(USubst): Efficient One-pass Lean Action CI #189: Commit 5b70469 pushed by EnguerrandPrebet
5m 28s eprebet/onepass
eprebet/onepass
5m 28s
Axioms of Differential Dynamic Logic Lean Action CI #188: Pull request #40 synchronize by EnguerrandPrebet
4m 29s eneoli/axioms
eneoli/axioms
4m 29s
fix(Axioms): missing dependencies Lean Action CI #187: Commit 06a1e0d pushed by EnguerrandPrebet
4m 17s eneoli/axioms
eneoli/axioms
4m 17s
Axioms of Differential Dynamic Logic Lean Action CI #186: Pull request #40 opened by eneoli
2m 3s eneoli/axioms
eneoli/axioms
2m 3s
feat(Axioms): added some axioms Lean Action CI #185: Commit fedf232 pushed by eneoli
1m 52s eneoli/axioms
eneoli/axioms
1m 52s
Merge pull request #35 from eneoli/eprebet/random Lean Action CI #184: Commit db78289 pushed by eneoli
5m 22s main
main
5m 22s
feat(All): Add Program.random + Axioms Lean Action CI #183: Pull request #35 synchronize by EnguerrandPrebet
4m 38s eprebet/random
eprebet/random
4m 38s
feat(Axioms): A lot more axioms that I remember Lean Action CI #182: Commit d256485 pushed by EnguerrandPrebet
5m 16s eprebet/random
eprebet/random
5m 16s
Merge pull request #38 from eneoli/eneoli/usubst Lean Action CI #181: Commit c146290 pushed by eneoli
5m 20s main
main
5m 20s
Uniform Substitution for Programs and Formulas Lean Action CI #180: Pull request #38 synchronize by eneoli
3m 56s eneoli/usubst
eneoli/usubst
3m 56s
chore: removed duplicate theorem Lean Action CI #179: Commit bbad341 pushed by eneoli
8m 1s eneoli/usubst
eneoli/usubst
8m 1s
Uniform Substitution for Programs and Formulas Lean Action CI #178: Pull request #38 synchronize by eneoli
5m 3s eneoli/usubst
eneoli/usubst
5m 3s
Merge branch 'main' into eneoli/usubst Lean Action CI #177: Commit 716e136 pushed by eneoli
3m 38s eneoli/usubst
eneoli/usubst
3m 38s
🎉 Uniform Substitution for Differential Dynamic Logic is sound! 🎉 Lean Action CI #176: Commit 2136e8d pushed by eneoli
5m 8s eneoli/usubst
eneoli/usubst
5m 8s