Skip to content

Actions: monsterkrampe/proof-library

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
68 workflow runs
68 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fill holes in finite set proofs Lean Action CI #46: Commit f2a22a4 pushed by monsterkrampe
January 30, 2025 10:44 1m 33s mfa-like-termination
mfa-like-termination
January 30, 2025 10:44 1m 33s
Replace constants in rules for MFA Lean Action CI #45: Commit 3b21306 pushed by monsterkrampe
January 29, 2025 15:19 23s mfa-like-termination
mfa-like-termination
January 29, 2025 15:19 23s
WIP: Replace constants in rules for MFA Lean Action CI #44: Commit eb9beb7 pushed by monsterkrampe
January 29, 2025 15:18 24s mfa-like-termination
mfa-like-termination
January 29, 2025 15:18 24s
Show: mfa result subsumes chase (ind. step) (WIP) Lean Action CI #43: Commit 1b9f5c6 pushed by monsterkrampe
January 27, 2025 16:02 1m 32s mfa-like-termination
mfa-like-termination
January 27, 2025 16:02 1m 32s
Show: mfa result subsumes chase (ind. step) (WIP) Lean Action CI #42: Commit 19fb874 pushed by monsterkrampe
January 25, 2025 16:24 22s mfa-like-termination
mfa-like-termination
January 25, 2025 16:24 22s
Show: mfa result subsumes every chase (base case) Lean Action CI #41: Commit cbe89fa pushed by monsterkrampe
January 24, 2025 09:04 1m 32s mfa-like-termination
mfa-like-termination
January 24, 2025 09:04 1m 32s
WIP: show that mfa result subsumes every chase branch Lean Action CI #40: Commit d85eaf5 pushed by monsterkrampe
January 23, 2025 16:02 20s mfa-like-termination
mfa-like-termination
January 23, 2025 16:02 20s
Show: all skolem chase branches yield same result Lean Action CI #39: Commit 9abc623 pushed by monsterkrampe
January 23, 2025 13:12 24s mfa-like-termination
mfa-like-termination
January 23, 2025 13:12 24s
Add Mfa Definition (with a few holes) Lean Action CI #38: Commit f2e451f pushed by monsterkrampe
January 23, 2025 10:11 1m 37s mfa-like-termination
mfa-like-termination
January 23, 2025 10:11 1m 37s
Associate arity with predicates Lean Action CI #37: Commit 5b798b9 pushed by monsterkrampe
January 22, 2025 16:18 1m 42s mfa-like-termination
mfa-like-termination
January 22, 2025 16:18 1m 42s
Show: altMatch implies non-identity endomorphism Lean Action CI #36: Commit d219cf1 pushed by monsterkrampe
January 22, 2025 12:24 1m 29s main
main
January 22, 2025 12:24 1m 29s
Show: finite injective homomorphism is strong Lean Action CI #35: Commit b533e05 pushed by monsterkrampe
January 15, 2025 14:19 32s main
main
January 15, 2025 14:19 32s
Investigate maxHeartbeats issue Lean Action CI #34: Commit 1473f98 pushed by monsterkrampe
January 14, 2025 13:45 1m 19s main
main
January 14, 2025 13:45 1m 19s
Upgrade to Lean 4.15.0 Lean Action CI #33: Commit d4cd1ca pushed by monsterkrampe
January 10, 2025 09:36 1m 41s main
main
January 10, 2025 09:36 1m 41s
Basic Termination Result for Trees Lean Action CI #32: Commit 7c2fe99 pushed by monsterkrampe
January 6, 2025 09:41 1m 34s feature/core-models
feature/core-models
January 6, 2025 09:41 1m 34s
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