8000 Workflow runs · ehonda/RuleSystem · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: ehonda/RuleSystem

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve the insertLast versions Lean Action CI #18: Commit a41b84d pushed by ehonda
November 21, 2024 20:54 1m 52s main
main
November 21, 2024 20:54 1m 52s
Show insertLast'' is viable Lean Action CI #17: Commit 5176466 pushed by ehonda
November 17, 2024 19:38 1m 24s main
main
November 17, 2024 19:38 1m 24s
WIP: Finally a promising approach via insertLast'' Lean Action CI #16: Commit fbd784a pushed by ehonda
November 15, 2024 23:07 1m 26s main
main
November 15, 2024 23:07 1m 26s
WIP: Coe-stuff 🍊 Lean Action CI #15: Commit ba92f28 pushed by ehonda
November 15, 2024 16:37 2m 5s main
main
November 15, 2024 16:37 2m 5s
WIP: 🔮 (EP-3) Lean Action CI #14: Commit 09a4f63 pushed by ehonda
November 11, 2024 23:13 1m 34s main
main
November 11, 2024 23:13 1m 34s
Prove helpers for "all"-theorems 🎭 Lean Action CI #13: Commit 39f0d32 pushed by ehonda
November 11, 2024 23:01 1m 58s main
main
November 11, 2024 23:01 1m 58s
WIP Lean Action CI #12: Commit 7996821 pushed by ehonda
November 10, 2024 23:21 2m 0s main
main
November 10, 2024 23:21 2m 0s
Finish all currently open sorries Lean Action CI #11: Commit 4be7920 pushed by ehonda
November 10, 2024 23:04 1m 44s main
main
November 10, 2024 23:04 1m 44s
Finset proofs wrt castSucc and castPred ⬆⬇ Lean Action CI #10: Commit ffd360d pushed by ehonda
November 10, 2024 00:32 1m 37s main
main
November 10, 2024 00:32 1m 37s
Prove "all-version" of embedding theorems 🟠 Lean Action CI #9: Commit d051109 pushed by ehonda
November 3, 2024 23:16 1m 28s main
main
November 3, 2024 23:16 1m 28s
Prove EN-1 💯 Lean Action CI #8: Commit 82697b7 pushed by ehonda
November 2, 2024 23:34 1m 50s main
main
November 2, 2024 23:34 1m 50s
Prove EN-0' 🎇 Lean Action CI #7: Commit 103e7a3 pushed by ehonda
November 2, 2024 23:17 1m 47s main
main
November 2, 2024 23:17 1m 47s
Add WIP 🔴 Lean Action CI #6: Commit de14265 pushed by ehonda
November 1, 2024 23:30 1m 24s main
main
November 1, 2024 23:30 1m 24s
Restructure, add new open theorems 🕵️‍♀️ Lean Action CI #5: Commit 9655fca pushed by ehonda
November 1, 2024 23:26 1m 23s main
main
November 1, 2024 23:26 1m 23s
Add proof overview document 🔮 Lean Action CI #4: Commit 492ab16 pushed by ehonda
November 1, 2024 23:09 1m 25s main
main
November 1, 2024 23:09 1m 25s
Remove obsolete commented out proof Lean Action CI #3: Commit 599ee03 pushed by ehonda
November 1, 2024 22:46 1m 50s main
main
November 1, 2024 22:46 1m 50s
Equality proof for positive embeddings 🟪 Lean Action CI #2: Commit 2fdf4e6 pushed by ehonda
November 1, 2024 22:45 1m 26s main
main
November 1, 2024 22:45 1m 26s
Finish some more proofs and helpers 💫 Lean Action CI #1: Commit ca0b175 pushed by ehonda
November 1, 2024 21:39 2m 16s main
main
November 1, 2024 21:39 2m 16s
0