Skip to content

Actions: future-ai-org/lean4-toolkit

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
41 workflow runs
41 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add cool tutorial Lean Action CI #41: Commit 01e6ac5 pushed by random-anon333
2m 14s main
main
2m 14s
resurrecting this project Lean Action CI #40: Commit 2a26f9d pushed by random-anon333
2m 9s main
main
2m 9s
continue working on rings proofs and add a pic for a teacher in the f… Lean Action CI #39: Commit 21b7194 pushed by von-steinkirch
2m 9s main
main
2m 9s
docs: add a few more refs Lean Action CI #38: Commit 71863cc pushed by von-steinkirch
1m 42s main
main
1m 42s
add scaffold for rings and group Lean Action CI #37: Commit 171ecb8 pushed by von-steinkirch
1m 18s main
main
1m 18s
add scaffold for rings and group Lean Action CI #36: Commit b97a7fe pushed by von-steinkirch
1m 57s main
main
1m 57s
add scaffold for rings and group Lean Action CI #35: Commit 8a8dd90 pushed by von-steinkirch
1m 44s main
main
1m 44s
add definig even number proof, + notes, + refs (#7) Lean Action CI #34: Commit 76620ae pushed by von-steinkirch
1m 32s main
main
1m 32s
add definig even number proof, + notes, + refs (#7) Lean Action CI #33: Commit 02473b3 pushed by von-steinkirch
1m 41s main
main
1m 41s
add definig even number proof, + notes, + refs (#7) Lean Action CI #32: Commit e2bcb90 pushed by von-steinkirch
1m 35s main
main
1m 35s
add definig even number proof, + notes, + refs (#7) Lean Action CI #31: Commit f567056 pushed by von-steinkirch
1m 43s main
main
1m 43s
add DefineEvenNumber proof, more notes, and some refs Lean Action CI #30: Pull request #7 opened by von-steinkirch
1m 33s moar_profs
moar_profs
1m 33s
add definig even number proof, more notes, and some refs Lean Action CI #29: Commit 714aba8 pushed by von-steinkirch
1m 34s moar_profs
moar_profs
1m 34s
finish reading lean.org intro docs, moving to theorem proving (#6) Lean Action CI #28: Commit 3feaeca pushed by von-steinkirch
1m 43s main
main
1m 43s
finish reading lean.org intro docs, moving to theorem proving (#6) Lean Action CI #27: Commit ed2a6ff pushed by von-steinkirch
1m 34s main
main
1m 34s
finish reading lean.org intro docs, moving to theorem proving (#6) Lean Action CI #26: Commit 92ae55a pushed by von-steinkirch
1m 33s main
main
1m 33s
finish reading lean.org intro docs, moving to theorem proving Lean Action CI #25: Pull request #6 opened by von-steinkirch
1m 32s lean-org-book
lean-org-book
1m 32s
add fermat last theorem to create theorems later Lean Action CI #24: Commit 59eb3bb pushed by von-steinkirch
1m 35s lean-org-book
lean-org-book
1m 35s
add fermat last theorem to create theorems later Lean Action CI #23: Commit 84d4708 pushed by von-steinkirch
1m 33s lean-org-book
lean-org-book
1m 33s
finish lean-org text Lean Action CI #22: Commit 244befa pushed by von-steinkirch
1m 34s lean-org-book
lean-org-book
1m 34s
first chapters of lean-org book, moar theorem proving for palindrome Lean Action CI #21: Commit 52746d4 pushed by von-steinkirch
1m 43s lean-org-book
lean-org-book
1m 43s
add inductive predicate ex and reorg (#5) Lean Action CI #20: Commit 0c861c6 pushed by von-steinkirch
1m 16s main
main
1m 16s
add inductive predicate ex and reorg (#5) Lean Action CI #19: Commit 191e46a pushed by von-steinkirch
1m 59s main
main
1m 59s
add inductive predicate ex and reorg (#5) Lean Action CI #18: Commit e9dbe95 pushed by von-steinkirch
21s main
main
21s
add inductive predicate ex and reorg (#5) Lean Action CI #17: Commit 32ecf6a pushed by von-steinkirch
18s main
main
18s