Skip to content

Actions: exekis/leanlogic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
15 workflow runs
15 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
docs(symbolization): point to chapter one questions Lean Action CI #15: Commit dbfaeb5 pushed by exekis
2m 58s main
main
2m 58s
chore(readme): merge remote readme updates Lean Action CI #14: Commit 784c091 pushed by exekis
3m 10s main
main
3m 10s
Merge remote-tracking branch 'origin/main' Lean Action CI #13: Commit 408a250 pushed by exekis
3m 3s main
main
3m 3s
docs(readme): update README.md Lean Action CI #12: Commit a7b0f0a pushed by exekis
3m 0s main
main
3m 0s
fix(symbolization): print readable eval output Lean Action CI #11: Commit 4289ed2 pushed by exekis
3m 19s main
main
3m 19s
feat(symbolization): add formula notation and inspection Lean Action CI #10: Commit 521b925 pushed by exekis
3m 10s main
main
3m 10s
docs(symbolization): point to the tutorial workflow Lean Action CI #9: Commit ec38296 pushed by exekis
3m 21s main
main
3m 21s
docs(symbolization): expose the new symbolization tools Lean Action CI #8: Commit 08641ab pushed by exekis
3m 17s main
main
3m 17s
fix(ci): skip docgen on prerelease lean Lean Action CI #7: Commit 63b1dd6 pushed by exekis
3m 33s main
main
3m 33s
feat(examples): use close step tactics in proofs Lean Action CI #6: Commit 042d68e pushed by exekis
3m 47s main
main
3m 47s
feat(exercises): add more direct problem ports Lean Action CI #5: Commit 0ad2a8f pushed by exekis
3m 39s main
main
3m 39s
feat(exercises): port more logic2010 derivations Lean Action CI #4: Commit 9bb9dbc pushed by exekis
3m 37s main
main
3m 37s
feat(exercises): add week based course problem sets Lean Action CI #3: Commit 37d2989 pushed by exekis
6m 45s main
main
6m 45s
feat(workbook): add chapter based course examples Lean Action CI #2: Commit a918049 pushed by exekis
3m 47s main
main
3m 47s
feat(logic2010): add show steps and chapter one rules Lean Action CI #1: Commit bb825e2 pushed by exekis
3m 55s main
main
3m 55s