Skip to content

Actions: imbrem/debruijn-ssa

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
210 workflow runs
210 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Removed sorries from congruence... tools, scaling, and auto-generated statements #85: Commit b3cca02 pushed by imbrem
July 24, 2024 20:46 3m 12s main
main
July 24, 2024 20:46 3m 12s
Removed sorries from sequence lore tools, scaling, and auto-generated statements #84: Commit 0fc45d2 pushed by imbrem
July 24, 2024 20:24 5m 28s main
main
July 24, 2024 20:24 5m 28s
Removed some sorries tools, scaling, and auto-generated statements #83: Commit d564dfb pushed by imbrem
July 24, 2024 15:55 3m 10s main
main
July 24, 2024 15:55 3m 10s
Tap tools, scaling, and auto-generated statements #82: Commit e361e3d pushed by imbrem
July 13, 2024 22:44 3m 11s main
main
July 13, 2024 22:44 3m 11s
Just in case tools, scaling, and auto-generated statements #81: Commit 47ec847 pushed by imbrem
July 13, 2024 20:31 3m 18s main
main
July 13, 2024 20:31 3m 18s
Ret is a functor with nice structure tools, scaling, and auto-generated statements #80: Commit 0bf612b pushed by imbrem
July 12, 2024 02:17 3m 3s main
main
July 12, 2024 02:17 3m 3s
Standardization, cleanup Sorry Quest tools, scaling, and auto-generated statements #79: Commit 7f9c847 pushed by imbrem
July 12, 2024 00:56 3m 7s main
main
July 12, 2024 00:56 3m 7s
Updated region rewrite rules tools, scaling, and auto-generated statements #78: Commit bdf990d pushed by imbrem
July 12, 2024 00:21 3m 5s main
main
July 12, 2024 00:21 3m 5s
Sum associativity for terms tools, scaling, and auto-generated statements #77: Commit e0a1168 pushed by imbrem
July 11, 2024 23:52 3m 0s main
main
July 11, 2024 23:52 3m 0s
Sum association lore tools, scaling, and auto-generated statements #76: Commit d7abbd6 pushed by imbrem
July 11, 2024 23:35 3m 16s main
main
July 11, 2024 23:35 3m 16s
Associator lore tools, scaling, and auto-generated statements #75: Commit ef6f5de pushed by imbrem
July 11, 2024 19:31 2m 54s main
main
July 11, 2024 19:31 2m 54s
Reassociation lore tools, scaling, and auto-generated statements #74: Commit 8eb74db pushed by imbrem
July 11, 2024 00:23 2m 54s main
main
July 11, 2024 00:23 2m 54s
Induction on equivalence classes of terms tools, scaling, and auto-generated statements #73: Commit 2de53a6 pushed by imbrem
July 10, 2024 22:13 3m 52s main
main
July 10, 2024 22:13 3m 52s
Work on associator lore tools, scaling, and auto-generated statements #72: Commit 684c02f pushed by imbrem
July 10, 2024 18:40 2m 53s main
main
July 10, 2024 18:40 2m 53s
Tap tools, scaling, and auto-generated statements #71: Commit 6d2aa6c pushed by imbrem
July 9, 2024 23:50 2m 54s main
main
July 9, 2024 23:50 2m 54s
ltimes_rtimes tools, scaling, and auto-generated statements #70: Commit 1da6799 pushed by imbrem
July 9, 2024 23:29 2m 53s main
main
July 9, 2024 23:29 2m 53s
Tap tools, scaling, and auto-generated statements #69: Commit af3dac7 pushed by imbrem
July 9, 2024 19:08 3m 10s main
main
July 9, 2024 19:08 3m 10s
Swapcraft tools, scaling, and auto-generated statements #68: Commit ce6a64b pushed by imbrem
July 9, 2024 12:44 2m 52s main
main
July 9, 2024 12:44 2m 52s
Tap tools, scaling, and auto-generated statements #67: Commit 6af8ebe pushed by imbrem
July 8, 2024 23:11 3m 9s main
main
July 8, 2024 23:11 3m 9s
A little less sorry tools, scaling, and auto-generated statements #66: Commit 778e8f4 pushed by imbrem
July 7, 2024 16:56 2m 46s main
main
July 7, 2024 16:56 2m 46s
Equivalence induction tools, scaling, and auto-generated statements #65: Commit daaa5c1 pushed by imbrem
July 7, 2024 11:59 2m 52s main
main
July 7, 2024 11:59 2m 52s
Equivalence lore tools, scaling, and auto-generated statements #64: Commit 2893e8f pushed by imbrem
July 7, 2024 06:48 2m 39s main
main
July 7, 2024 06:48 2m 39s
Began work on congruence lore :( tools, scaling, and auto-generated statements #63: Commit 712eb3c pushed by imbrem
July 7, 2024 03:08 2m 58s main
main
July 7, 2024 03:08 2m 58s
Term equivalence tools, scaling, and auto-generated statements #62: Commit b5ff63b pushed by imbrem
July 7, 2024 01:32 2m 35s main
main
July 7, 2024 01:32 2m 35s
Work on sorry tools, scaling, and auto-generated statements #61: Commit 3b86e31 pushed by imbrem
July 6, 2024 20:27 2m 45s main
main
July 6, 2024 20:27 2m 45s