Skip to content

Actions: shnarazk/LubySequence

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
552 workflow runs
552 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refine proof in segment_prop2 and remove sorrys Lean Action CI #545: Commit 40396d3 pushed by shnarazk
1m 40s main
main
1m 40s
Add segment_prop2 and segment_length_prop2 theorems Lean Action CI #544: Commit bd51385 pushed by shnarazk
1m 26s main
main
1m 26s
Fix segment_length_prop2 statement and add debug eval Lean Action CI #543: Commit 12ce02c pushed by shnarazk
1m 36s main
main
1m 36s
Complete proof for segment_length_prop1 Lean Action CI #542: Commit 5027d96 pushed by shnarazk
1m 28s main
main
1m 28s
modified: flake.lock Lean Action CI #541: Commit b42b900 pushed by shnarazk
1m 44s main
main
1m 44s
Expand proof for segment_length_prop1 with partial progress Lean Action CI #540: Commit a78a3ba pushed by shnarazk
1m 21s main
main
1m 21s
Add segment_length_prop1 and segment_length_prop2 theorems Lean Action CI #539: Commit 763e7d3 pushed by shnarazk
1m 21s main
main
1m 21s
Add docstring and example for segment_length function Lean Action CI #538: Commit d734a59 pushed by shnarazk
1m 42s main
main
1m 42s
Add segment_length function and example evaluation Lean Action CI #537: Commit a119b23 pushed by shnarazk
1m 59s main
main
1m 59s
Add module docstring describing LubySegment and its mapping Lean Action CI #536: Commit eab19a6 pushed by shnarazk
1m 24s main
main
1m 24s
Complete proof for segment_prop1 conflict case Lean Action CI #535: Commit ff1f5e3 pushed by shnarazk
1m 24s main
main
1m 24s
Handle conflict path in segment_prop1 proof Lean Action CI #534: Commit 438e1f2 pushed by shnarazk
2m 28s main
main
2m 28s
Refactor segment_prop1 proof and clean up comments Lean Action CI #533: Commit c1647c7 pushed by shnarazk
1m 35s main
main
1m 35s
Fix segment recursion to use (n + 2).size in index Lean Action CI #532: Commit 1338383 pushed by shnarazk
1m 13s main
main
1m 13s
Refactor segment function and simplify proof steps Lean Action CI #531: Commit a0599b3 pushed by shnarazk
1m 43s main
main
1m 43s
Fix segment calculation to use (n + 2).size for powers of two Lean Action CI #530: Commit 27dec01 pushed by shnarazk
1m 18s main
main
1m 18s
Fix segment calculation and update related tests Lean Action CI #529: Commit 9dfc455 pushed by shnarazk
1m 19s main
main
1m 19s
Refine proof steps in segment_prop1 theorem Lean Action CI #528: Commit 762ea0d pushed by shnarazk
1m 36s main
main
1m 36s
Refine segment_prop1 to require n > 0 and add proof steps Lean Action CI #527: Commit 3b01d5a pushed by shnarazk
1m 36s main
main
1m 36s
Refactor segment to use n.size instead of (n + 2).size Lean Action CI #526: Commit 5576834 pushed by shnarazk
1m 19s main
main
1m 19s
Add examples and stub theorem for segment properties Lean Action CI #525: Commit ac5c06f pushed by shnarazk
57s main
main
57s
Refactor segment proof to use Nat.sub_lt_right_of_lt_add Lean Action CI #524: Commit b774e41 pushed by shnarazk
1m 35s main
main
1m 35s
Refine proof for order in segment function Lean Action CI #523: Commit 0b1cf54 pushed by shnarazk
1m 18s main
main
1m 18s
Refactor segment proof to expand order and decreasing cases Lean Action CI #522: Commit bf9b751 pushed by shnarazk
1m 23s main
main
1m 23s
Refactor segment index calculation for clarity and conciseness Lean Action CI #521: Commit c806c88 pushed by shnarazk
1m 39s main
main
1m 39s