Skip to content

Actions: bjoernkjoshanssen/ac-exercises

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
66 workflow runs
66 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Linear algebra, and robust Hyde proof Compile blueprint #66: Commit 0c120d3 pushed by bjoernkjoshanssen
January 29, 2025 05:34 8m 45s main
main
January 29, 2025 05:34 8m 45s
Linear algebra approach to automatic complexity Compile blueprint #65: Commit 563f657 pushed by bjoernkjoshanssen
January 27, 2025 05:27 23m 43s main
main
January 27, 2025 05:27 23m 43s
Adding docstrings for Hyde Compile blueprint #64: Commit d10b68e pushed by bjoernkjoshanssen
January 17, 2025 00:57 21m 28s main
main
January 17, 2025 00:57 21m 28s
Adding docstrings for Perm Compile blueprint #63: Commit 9136d98 pushed by bjoernkjoshanssen
January 16, 2025 23:48 22m 18s main
main
January 16, 2025 23:48 22m 18s
Complete proof of KH/Quas theorem Compile blueprint #62: Commit 82696d6 pushed by bjoernkjoshanssen
January 16, 2025 17:43 21m 29s main
main
January 16, 2025 17:43 21m 29s
Full upper bound in Quas thm Compile blueprint #61: Commit fc2db4c pushed by bjoernkjoshanssen
January 15, 2025 23:19 22m 3s main
main
January 15, 2025 23:19 22m 3s
More modular proof of A(www...) bound Compile blueprint #60: Commit 5dc5e66 pushed by bjoernkjoshanssen
January 10, 2025 21:02 22m 26s main
main
January 10, 2025 21:02 22m 26s
Update Acmoi.lean too Compile blueprint #59: Commit ad6aeaf pushed by bjoernkjoshanssen
January 10, 2025 03:21 21m 50s main
main
January 10, 2025 03:21 21m 50s
upper bound on complexity of rational powers Compile blueprint #58: Commit ee62cf8 pushed by bjoernkjoshanssen
January 10, 2025 01:36 21m 5s main
main
January 10, 2025 01:36 21m 5s
simpler construction of ring DFA Compile blueprint #57: Commit febe998 pushed by bjoernkjoshanssen
January 8, 2025 19:22 21m 36s main
main
January 8, 2025 19:22 21m 36s
complete proof of linear u.b. of A Compile blueprint #56: Commit 23111a3 pushed by bjoernkjoshanssen
January 8, 2025 03:32 22m 31s main
main
January 8, 2025 03:32 22m 31s
define A and prove u.b. Compile blueprint #55: Commit 04d0bd9 pushed by bjoernkjoshanssen
January 7, 2025 23:57 22m 38s main
main
January 7, 2025 23:57 22m 38s
can a TeX definition have two Lean definitions? Compile blueprint #54: Commit f05476b pushed by bjoernkjoshanssen
January 7, 2025 17:06 23m 2s main
main
January 7, 2025 17:06 23m 2s
comment out no. of walks Compile blueprint #53: Commit 8455054 pushed by bjoernkjoshanssen
January 7, 2025 07:01 21m 32s main
main
January 7, 2025 07:01 21m 32s
missing } Compile blueprint #52: Commit 3b90bff pushed by bjoernkjoshanssen
January 7, 2025 05:40 21m 18s main
main
January 7, 2025 05:40 21m 18s
makecell? no Compile blueprint #51: Commit 850c22d pushed by bjoernkjoshanssen
January 7, 2025 03:54 20m 57s main
main
January 7, 2025 03:54 20m 57s
makecell? Compile blueprint #50: Commit 4600fbf pushed by bjoernkjoshanssen
January 7, 2025 03:17 21m 0s main
main
January 7, 2025 03:17 21m 0s
declare proof of Hyde theorem to be \leanok Compile blueprint #49: Commit a465eb4 pushed by bjoernkjoshanssen
January 7, 2025 01:50 21m 47s main
main
January 7, 2025 01:50 21m 47s
(really) Fix reference to A_N def. in Hyde thm Compile blueprint #48: Commit 053a297 pushed by bjoernkjoshanssen
January 6, 2025 22:37 21m 47s main
main
January 6, 2025 22:37 21m 47s
Fix reference to A_N def. in Hyde thm Compile blueprint #47: Commit c0ad9d0 pushed by bjoernkjoshanssen
January 6, 2025 20:06 21m 46s main
main
January 6, 2025 20:06 21m 46s
Remove bibtex duplicates Compile blueprint #46: Commit 168fea6 pushed by bjoernkjoshanssen
January 6, 2025 07:21 22m 13s main
main
January 6, 2025 07:21 22m 13s
Adding environment {remark} Compile blueprint #45: Commit 0170e65 pushed by bjoernkjoshanssen
January 6, 2025 02:04 21m 16s main
main
January 6, 2025 02:04 21m 16s
Add structure to blueprint Compile blueprint #44: Commit 0f3b3c4 pushed by bjoernkjoshanssen
January 6, 2025 01:40 22m 16s main
main
January 6, 2025 01:40 22m 16s
Further code improvements Compile blueprint #43: Commit ea10b92 pushed by bjoernkjoshanssen
January 5, 2025 23:32 22m 6s main
main
January 5, 2025 23:32 22m 6s
Using the Fin API instead of angular brackets Compile blueprint #42: Commit a7ec65a pushed by bjoernkjoshanssen
January 5, 2025 18:24 22m 5s main
main
January 5, 2025 18:24 22m 5s