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

Term associator naturality tools, scaling, and auto-generated statements #110: Commit 75c7484 pushed by imbrem
August 12, 2024 23:33 4m 2s main
main
August 12, 2024 23:33 4m 2s
Tap tools, scaling, and auto-generated statements #109: Commit 9eab732 pushed by imbrem
August 12, 2024 20:15 3m 52s main
main
August 12, 2024 20:15 3m 52s
Began work on Böhm-Jacopini analogue tools, scaling, and auto-generated statements #108: Commit 5f2df41 pushed by imbrem
August 10, 2024 01:23 3m 47s main
main
August 10, 2024 01:23 3m 47s
Sorry removal work tools, scaling, and auto-generated statements #107: Commit ae7bd71 pushed by imbrem
August 8, 2024 14:40 3m 47s main
main
August 8, 2024 14:40 3m 47s
Work on dinaturality tools, scaling, and auto-generated statements #106: Commit 4918643 pushed by imbrem
August 8, 2024 01:17 3m 43s main
main
August 8, 2024 01:17 3m 43s
Generalized dinaturality tools, scaling, and auto-generated statements #105: Commit 0e08c22 pushed by imbrem
August 8, 2024 01:08 3m 41s main
main
August 8, 2024 01:08 3m 41s
Draft uniformity tools, scaling, and auto-generated statements #104: Commit d75b586 pushed by imbrem
August 8, 2024 00:04 4m 3s main
main
August 8, 2024 00:04 4m 3s
lsubst_ucfg' tools, scaling, and auto-generated statements #103: Commit 4e93ed3 pushed by imbrem
August 6, 2024 17:06 3m 40s main
main
August 6, 2024 17:06 3m 40s
lwk lore tools, scaling, and auto-generated statements #102: Commit 5bbee3e pushed by imbrem
August 6, 2024 16:42 3m 46s main
main
August 6, 2024 16:42 3m 46s
Tap tools, scaling, and auto-generated statements #101: Commit 4a07268 pushed by imbrem
August 2, 2024 20:29 3m 42s main
main
August 2, 2024 20:29 3m 42s
Tap tools, scaling, and auto-generated statements #100: Commit bc6bfa5 pushed by imbrem
August 1, 2024 01:14 3m 3s main
main
August 1, 2024 01:14 3m 3s
uniformity axiom tools, scaling, and auto-generated statements #99: Commit b66d788 pushed by imbrem
July 31, 2024 22:34 3m 48s main
main
July 31, 2024 22:34 3m 48s
Proper uniformity principle tools, scaling, and auto-generated statements #98: Commit c38c802 pushed by imbrem
July 31, 2024 20:12 3m 36s main
main
July 31, 2024 20:12 3m 36s
Further subst lore tools, scaling, and auto-generated statements #97: Commit 3debe54 pushed by imbrem
July 31, 2024 15:05 3m 37s main
main
July 31, 2024 15:05 3m 37s
Elgot strength tools, scaling, and auto-generated statements #96: Commit 86f5293 pushed by imbrem
July 29, 2024 23:37 3m 33s main
main
July 29, 2024 23:37 3m 33s
Fixpoint naturality tools, scaling, and auto-generated statements #95: Commit 4309a5c pushed by imbrem
July 29, 2024 18:43 3m 40s main
main
July 29, 2024 18:43 3m 40s
Eqv.wthen_cfg tools, scaling, and auto-generated statements #94: Commit e2b9e2b pushed by imbrem
July 29, 2024 15:07 3m 31s main
main
July 29, 2024 15:07 3m 31s
ucfg lore tools, scaling, and auto-generated statements #93: Commit 2850ff0 pushed by imbrem
July 27, 2024 16:02 3m 26s main
main
July 27, 2024 16:02 3m 26s
Tap... tools, scaling, and auto-generated statements #92: Commit b5d886c pushed by imbrem
July 26, 2024 20:23 3m 17s main
main
July 26, 2024 20:23 3m 17s
wseq lore tools, scaling, and auto-generated statements #91: Commit f2fe396 pushed by imbrem
July 26, 2024 20:11 3m 22s main
main
July 26, 2024 20:11 3m 22s
Sad tools, scaling, and auto-generated statements #90: Commit 06010ac pushed by imbrem
July 25, 2024 23:52 3m 12s main
main
July 25, 2024 23:52 3m 12s
Began shufflework tools, scaling, and auto-generated statements #89: Commit 6805d6b pushed by imbrem
July 25, 2024 21:29 3m 14s main
main
July 25, 2024 21:29 3m 14s
Arrow induction tools, scaling, and auto-generated statements #88: Commit 90eca13 pushed by imbrem
July 25, 2024 18:23 3m 8s main
main
July 25, 2024 18:23 3m 8s
Tap tools, scaling, and auto-generated statements #87: Commit d919729 pushed by imbrem
July 25, 2024 15:34 3m 12s main
main
July 25, 2024 15:34 3m 12s
Began fixpoint proofs tools, scaling, and auto-generated statements #86: Commit d4354d3 pushed by imbrem
July 25, 2024 00:13 3m 25s main
main
July 25, 2024 00:13 3m 25s