Skip to content

Actions: monsterkrampe/proof-library

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
53 workflow runs
53 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Basic Termination Result for Trees Lean Action CI #31: Commit 7c2fe99 pushed by monsterkrampe
December 26, 2024 12:10 1m 34s main
main
December 26, 2024 12:10 1m 34s
Basic Termination Result for Trees Lean Action CI #30: Commit 7c2fe99 pushed by monsterkrampe
December 21, 2024 17:19 21s feature/basic-termination
feature/basic-termination
December 21, 2024 17:19 21s
WIP: Basic Termination Result for Trees (now working on (essentially)… Lean Action CI #29: Commit 522a97d pushed by monsterkrampe
December 20, 2024 11:09 1m 36s feature/basic-termination
feature/basic-termination
December 20, 2024 11:09 1m 36s
WIP: Basic Termination Result for Trees (now working on (essentially)… Lean Action CI #28: Commit c5bbebc pushed by monsterkrampe
December 19, 2024 15:27 1m 35s feature/basic-termination
feature/basic-termination
December 19, 2024 15:27 1m 35s
Cores of chase supersets subsume chase result Lean Action CI #27: Commit 824d541 pushed by monsterkrampe
December 19, 2024 09:47 1m 40s main
main
December 19, 2024 09:47 1m 40s
Cores of chase supersets subsume chase result Lean Action CI #26: Commit 824d541 pushed by monsterkrampe
December 19, 2024 09:40 25s feature/core-models
feature/core-models
December 19, 2024 09:40 25s
WIP: Cores of Supersets subsume chase result Lean Action CI #25: Commit e296d6e pushed by monsterkrampe
December 18, 2024 16:52 35s feature/core-models
feature/core-models
December 18, 2024 16:52 35s
Chase w/o alt match: endo strong and injective Lean Action CI #24: Commit 62d9a8a pushed by monsterkrampe
December 18, 2024 16:03 1m 37s feature/core-models
feature/core-models
December 18, 2024 16:03 1m 37s
WIP: Chase w/o alt match: endo strong and injective Lean Action CI #23: Commit e50a0f3 pushed by monsterkrampe
December 17, 2024 15:53 1m 51s feature/core-models
feature/core-models
December 17, 2024 15:53 1m 51s
Chase w/o alt match: endo on result surjective Lean Action CI #22: Commit 2a3a4b0 pushed by monsterkrampe
December 17, 2024 10:04 1m 30s feature/core-models
feature/core-models
December 17, 2024 10:04 1m 30s
WIP: no alt matches implies core Lean Action CI #21: Commit ceb8c67 pushed by monsterkrampe
December 16, 2024 17:29 20s feature/core-models
feature/core-models
December 16, 2024 17:29 20s
WIP: no alt matches implies core Lean Action CI #20: Commit 75db590 pushed by monsterkrampe
December 16, 2024 14:57 23s feature/core-models
feature/core-models
December 16, 2024 14:57 23s
WIP: no alt matches implies core Lean Action CI #19: Commit dc38e87 pushed by monsterkrampe
December 13, 2024 11:24 1m 21s feature/core-models
feature/core-models
December 13, 2024 11:24 1m 21s
WIP: Basic Termination Result for Trees Lean Action CI #18: Commit 14e65ed pushed by monsterkrampe
December 13, 2024 09:31 21s feature/basic-termination
feature/basic-termination
December 13, 2024 09:31 21s
Show homomorphism extension along chase Lean Action CI #17: Commit 6eeef66 pushed by monsterkrampe
December 13, 2024 08:27 1m 37s main
main
December 13, 2024 08:27 1m 37s
Show homomorphism extension along chase Lean Action CI #16: Commit 6eeef66 pushed by monsterkrampe
December 13, 2024 08:24 1m 33s feature/core-models
feature/core-models
December 13, 2024 08:24 1m 33s
WIP: Chase without alternative matches yields core Lean Action CI #15: Commit 9bd1b8f pushed by monsterkrampe
December 12, 2024 18:54 1m 33s feature/core-models
feature/core-models
December 12, 2024 18:54 1m 33s
WIP: Chase without alternative matches yields core Lean Action CI #14: Commit 2146209 pushed by monsterkrampe
December 11, 2024 15:33 23s feature/core-models
feature/core-models
December 11, 2024 15:33 23s
Transform deterministic branch into tree Lean Action CI #13: Commit a3bf591 pushed by monsterkrampe
December 10, 2024 15:24 1m 18s feature/core-models
feature/core-models
December 10, 2024 15:24 1m 18s
WIP: Show that determinsitic Chase Branch has Tree Lean Action CI #12: Commit 4c4ea97 pushed by monsterkrampe
December 10, 2024 11:07 1m 10s feature/core-models
feature/core-models
December 10, 2024 11:07 1m 10s
Lean Action CI Lean Action CI #11: by monsterkrampe
December 9, 2024 15:23 1m 3s feature/core-models
feature/core-models
December 9, 2024 15:23 1m 3s
Show Uniqueness of Strong Core (up to iso) Lean Action CI #10: Commit 88209c1 pushed by monsterkrampe
December 9, 2024 10:30 1m 11s feature/core-models
feature/core-models
December 9, 2024 10:30 1m 11s
Add own erase dups function; resolve sorries Lean Action CI #9: Commit 8ac481e pushed by monsterkrampe
December 7, 2024 09:32 1m 5s feature/core-models
feature/core-models
December 7, 2024 09:32 1m 5s
Show basic results for mappings over lists Lean Action CI #8: Commit 8c7d965 pushed by monsterkrampe
December 6, 2024 12:35 1m 4s feature/core-models
feature/core-models
December 6, 2024 12:35 1m 4s
WIP: Basic Formalization for Cores Lean Action CI #7: Commit 660dac9 pushed by monsterkrampe
December 5, 2024 16:55 23s feature/core-models
feature/core-models
December 5, 2024 16:55 23s