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

Actions: future-ai-org/lean4-toolkit

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
39 workflow runs
39 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
add inductive predicate ex and reorg (#5) Lean Action CI #16: Commit 41af20a pushed by von-steinkirch
15s main
main
15s
add inductive predicate ex and reorg (#5) Lean Action CI #15: Commit 0d1a57f pushed by von-steinkirch
1m 36s main
main
1m 36s