Skip to content

Actions: gdahia/furstenberg_sarkozy

Actions

Lean Action CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean_action_ci.yml
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

(Almost) complete proof Lean Action CI #18: Commit 1058ccb pushed by gdahia
October 15, 2024 13:47 1m 50s work-in-first-lemma
work-in-first-lemma
October 15, 2024 13:47 1m 50s
Start proof of first lemma lower bound Lean Action CI #17: Commit fce3958 pushed by gdahia
October 12, 2024 22:15 1m 33s work-in-first-lemma
work-in-first-lemma
October 12, 2024 22:15 1m 33s
Add stub of first lemma Lean Action CI #16: Commit e0f315b pushed by gdahia
October 12, 2024 21:30 1m 31s work-in-first-lemma
work-in-first-lemma
October 12, 2024 21:30 1m 31s
Prove delta uniform function inequalities Lean Action CI #15: Commit 5d3012a pushed by gdahia
October 12, 2024 21:07 2m 22s main
main
October 12, 2024 21:07 2m 22s
Complete proof about delta uniform functions Lean Action CI #14: Commit ecab0ed pushed by gdahia
October 12, 2024 21:06 1m 55s work-in-second-lemma
work-in-second-lemma
October 12, 2024 21:06 1m 55s
Replace almost proof with simpler one Lean Action CI #13: Commit 6307160 pushed by gdahia
October 12, 2024 14:53 1m 54s work-in-second-lemma
work-in-second-lemma
October 12, 2024 14:53 1m 54s
Replace almost proof with simpler one Lean Action CI #12: Commit 9f42c18 pushed by gdahia
October 12, 2024 14:52 1m 38s work-in-second-lemma
work-in-second-lemma
October 12, 2024 14:52 1m 38s
Finish proving reductions Lean Action CI #11: Commit f6f2e0c pushed by gdahia
October 7, 2024 11:29 1m 38s work-in-second-lemma
work-in-second-lemma
October 7, 2024 11:29 1m 38s
Simplify rws Lean Action CI #10: Commit 3bf9c14 pushed by gdahia
October 6, 2024 21:42 1m 35s work-in-second-lemma
work-in-second-lemma
October 6, 2024 21:42 1m 35s
(Almost) prove major reduction Lean Action CI #9: Commit 40db845 pushed by gdahia
October 6, 2024 21:39 1m 32s work-in-second-lemma
work-in-second-lemma
October 6, 2024 21:39 1m 32s
Make proof shorter, use suffices a lot Lean Action CI #8: Commit d2f2396 pushed by gdahia
October 6, 2024 20:46 1m 1s work-in-second-lemma
work-in-second-lemma
October 6, 2024 20:46 1m 1s
Add new defs Lean Action CI #7: Commit 0766fe2 pushed by gdahia
October 5, 2024 15:59 2m 0s work-in-second-lemma
work-in-second-lemma
October 5, 2024 15:59 2m 0s
Fix δ not being (0, 1], use proper argument ordering Lean Action CI #6: Commit b8f733f pushed by gdahia
September 28, 2024 00:29 2m 3s work-in-second-lemma
work-in-second-lemma
September 28, 2024 00:29 2m 3s
Make some progress and improve definitions Lean Action CI #5: Commit 132f12e pushed by gdahia
September 28, 2024 00:19 2m 1s work-in-second-lemma
work-in-second-lemma
September 28, 2024 00:19 2m 1s
WIP Lean Action CI #4: Commit 262fd17 pushed by gdahia
September 26, 2024 18:00 1m 39s work-in-second-lemma
work-in-second-lemma
September 26, 2024 18:00 1m 39s
Fix sum not ranging over powers Lean Action CI #3: Commit 0f1c1fd pushed by gdahia
September 26, 2024 17:59 1m 36s main
main
September 26, 2024 17:59 1m 36s
Fix calling counts densities Lean Action CI #2: Commit a49c7f0 pushed by gdahia
September 21, 2024 20:56 1m 31s main
main
September 21, 2024 20:56 1m 31s
Rewrite README a bit Lean Action CI #1: Commit 855c20c pushed by gdahia
September 21, 2024 20:44 1m 56s main
main
September 21, 2024 20:44 1m 56s