Skip to content

Actions: dwrensha/compfiles

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
60 workflow run results
60 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ZeroesOnesAndTwos] remove a superfluous lemma push to main #168: Commit 47c289e pushed by dwrensha
September 9, 2023 14:08 3m 23s main
main
September 9, 2023 14:08 3m 23s
[ZeroesOnesAndTwos] lemma_4 -> Finset.sum_pos' push to main #167: Commit dd862f1 pushed by dwrensha
September 9, 2023 12:31 3m 16s main
main
September 9, 2023 12:31 3m 16s
[Usa2003Q1] generalize lemma2 push to main #166: Commit 1c08a1a pushed by dwrensha
September 8, 2023 17:17 3m 13s main
main
September 8, 2023 17:17 3m 13s
[Usa2003Q1] more cleanup push to main #165: Commit 9e4bbbe pushed by dwrensha
September 8, 2023 15:49 3m 13s main
main
September 8, 2023 15:49 3m 13s
[Usa2003Q1] a bit simpler push to main #164: Commit f19b6fb pushed by dwrensha
September 8, 2023 12:53 4m 44s main
main
September 8, 2023 12:53 4m 44s
[Usa2003Q1] remove some needless algebraic shuffling push to main #163: Commit 757d3ea pushed by dwrensha
September 8, 2023 12:39 3m 16s main
main
September 8, 2023 12:39 3m 16s
[Usa2003Q1] use new Nat.digits_append_digits theorem push to main #162: Commit 6e0b799 pushed by dwrensha
September 8, 2023 12:33 4m 11s main
main
September 8, 2023 12:33 4m 11s
update mathlib push to main #161: Commit 761d3f5 pushed by dwrensha
September 8, 2023 12:20 3m 17s main
main
September 8, 2023 12:20 3m 17s
[Usa1996Q1] add problem statement push to main #160: Commit 6b849f4 pushed by dwrensha
September 7, 2023 14:10 3m 20s main
main
September 7, 2023 14:10 3m 20s
[Usa2003Q1] some cleanup push to main #159: Commit 9cb22e4 pushed by dwrensha
September 7, 2023 12:24 3m 32s main
main
September 7, 2023 12:24 3m 32s
update mathlib push to main #158: Commit 918bb01 pushed by dwrensha
September 7, 2023 01:17 3m 13s main
main
September 7, 2023 01:17 3m 13s
[Usa2003Q1] finish proof push to main #157: Commit f4899ad pushed by dwrensha
September 7, 2023 01:15 3m 24s main
main
September 7, 2023 01:15 3m 24s
[Usa2003Q1] massive simplification digits_add' proof, by Bhavik Mehta push to main #156: Commit 53791d5 pushed by dwrensha
September 6, 2023 21:30 3m 59s main
main
September 6, 2023 21:30 3m 59s
[Usa2003Q1] finish 'suffices' block push to main #155: Commit 20ded03 pushed by dwrensha
September 6, 2023 20:16 3m 18s main
main
September 6, 2023 20:16 3m 18s
[Usa2003Q1] some cleanup of Nat.digits_add' push to main #154: Commit 90afc48 pushed by dwrensha
September 6, 2023 19:52 3m 23s main
main
September 6, 2023 19:52 3m 23s
[Usa2003Q1] finish proof of Nat.digits_add' push to main #153: Commit 3a2c684 pushed by dwrensha
September 6, 2023 19:20 3m 27s main
main
September 6, 2023 19:20 3m 27s
[Usa2003Q1] some progress push to main #152: Commit ed98879 pushed by dwrensha
September 6, 2023 14:11 3m 19s main
main
September 6, 2023 14:11 3m 19s
[Usa2003Q1] add missing condition and start proof push to main #151: Commit ad6c88b pushed by dwrensha
September 6, 2023 00:00 3m 34s main
main
September 6, 2023 00:00 3m 34s
[Usa2003Q1] add problem statement and informal solution push to main #150: Commit 8048593 pushed by dwrensha
September 5, 2023 22:19 3m 23s main
main
September 5, 2023 22:19 3m 23s
[Imo1964Q4] require DecidableEq to be passed in push to main #149: Commit f3b64a8 pushed by dwrensha
September 5, 2023 13:14 3m 22s main
main
September 5, 2023 13:14 3m 22s
[Imo1964Q4] another Nonempty.some instead of truncOfCardPos push to main #148: Commit 0adf4cc pushed by dwrensha
September 5, 2023 12:45 3m 27s main
main
September 5, 2023 12:45 3m 27s
update mathlib push to main #147: Commit efe7024 pushed by dwrensha
September 4, 2023 15:28 4m 4s main
main
September 4, 2023 15:28 4m 4s
[Usa2002Q1] progress push to main #146: Commit 66ca124 pushed by dwrensha
September 1, 2023 17:33 3m 48s main
main
September 1, 2023 17:33 3m 48s
[Imo1964Q4] Nonempty.some instead of truncOfCardPos push to main #145: Commit 52a2500 pushed by dwrensha
September 1, 2023 16:04 3m 14s main
main
September 1, 2023 16:04 3m 14s
[Usa2002Q1] branches push to main #144: Commit e8497db pushed by dwrensha
August 31, 2023 22:11 3m 47s main
main
August 31, 2023 22:11 3m 47s