Skip to content
This repository was archived by the owner on Aug 22, 2025. It is now read-only.

Actions: datokrat/lean-iterators

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
68 workflow runs
68 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update README.md Lean Action CI #69: Commit d989937 pushed by datokrat
26s main
main
26s
reorganize modules Lean Action CI #68: Commit e36a335 pushed by datokrat
18s main
main
18s
reorganize modules Lean Action CI #67: Commit e36a335 pushed by datokrat
19s wip
wip
19s
reorganize modules Lean Action CI #66: Commit b85c94e pushed by datokrat
22s wip
wip
22s
prove injectivity lemma Lean Action CI #65: Commit 3de171a pushed by datokrat
19s wip
wip
19s
zip lemmas and getAtIdx? consumer Lean Action CI #64: Commit aa4054d pushed by datokrat
18s wip
wip
18s
remove dependency on USquash Lean Action CI #63: Commit 7f3bdba pushed by datokrat
18s main
main
18s
remove dependency on USquash Lean Action CI #62: Commit 7f3bdba pushed by datokrat
23s wip
wip
23s
update toolchain, some zip lemmas Lean Action CI #61: Commit 1121933 pushed by datokrat
18s wip
wip
18s
take/drop lemmas Lean Action CI #60: Commit 50258e4 pushed by datokrat
29s wip
wip
29s
allowNontermination example Lean Action CI #59: Commit 856c852 pushed by datokrat
22s wip
wip
22s
Iter.allowNontermination Lean Action CI #58: Commit bd34e6f pushed by datokrat
21s main
main
21s
Iter.allowNontermination Lean Action CI #57: Commit bd34e6f pushed by datokrat
31s wip
wip
31s
filter, map lemmas (pure) Lean Action CI #56: Commit 4aad8b7 pushed by datokrat
27s wip
wip
27s
some filterMap lemmas Lean Action CI #55: Commit 96d28ec pushed by datokrat
23s wip
wip
23s
some pure consumer lemmas Lean Action CI #54: Commit d224edd pushed by datokrat
24s wip
wip
24s
reverseToList -> toListRev Lean Action CI #53: Commit c161d57 pushed by datokrat
20s wip
wip
20s
forIn with termination proof Lean Action CI #52: Commit 792cec7 pushed by datokrat
21s wip
wip
21s
reorganize files Lean Action CI #51: Commit 1ce8542 pushed by datokrat
22s wip
wip
22s
first proof for pure flatMap Lean Action CI #50: Commit 3ce769a pushed by datokrat
20s wip
wip
20s
use pure iterators in examples Lean Action CI #49: Commit 42afba5 pushed by datokrat
35s main
main
35s
use pure iterators in examples Lean Action CI #48: Commit 42afba5 pushed by datokrat
23s wip
wip
23s
fix forIn, for now only implemented for finite iterators Lean Action CI #47: Commit 5ff949a pushed by datokrat
22s wip
wip
22s
Pure.Basic Lean Action CI #46: Commit aa50e4f pushed by datokrat
21s wip
wip
21s
flatMap lemmas Lean Action CI #45: Commit 1b746fa pushed by datokrat
22s wip
wip
22s