Skip to content

Actions: GrahamStrickland/math_lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add examples and exercises form 2.1 Proving Identities in Algebraic S… Lean Action CI #8: Commit 2cfa5d0 pushed by GrahamStrickland
February 12, 2025 16:54 7m 10s main
main
February 12, 2025 16:54 7m 10s
Add complete proof of difference of squares Lean Action CI #7: Commit e55db4a pushed by GrahamStrickland
February 9, 2025 14:02 6m 59s main
main
February 9, 2025 14:02 6m 59s
Add partial proof of difference of squares Lean Action CI #6: Commit 0dc7c67 pushed by GrahamStrickland
February 7, 2025 16:58 7m 30s main
main
February 7, 2025 16:58 7m 30s
Add more calculating examples and exercises Lean Action CI #5: Commit cebf7d4 pushed by GrahamStrickland
February 4, 2025 19:40 7m 26s main
main
February 4, 2025 19:40 7m 26s
Add more calculating examples/exercises Lean Action CI #4: Commit e896e32 pushed by GrahamStrickland
February 2, 2025 07:58 7m 55s main
main
February 2, 2025 07:58 7m 55s
Add exercises to Calculating.lean Lean Action CI #3: Commit 6443436 pushed by GrahamStrickland
January 7, 2025 19:29 8m 1s main
main
January 7, 2025 19:29 8m 1s
Add remainder of Overview examples Lean Action CI #2: Commit 9fd4fee pushed by GrahamStrickland
January 7, 2025 19:24 7m 44s main
main
January 7, 2025 19:24 7m 44s
Update README.md Lean Action CI #1: Commit 3c16c0d pushed by GrahamStrickland
January 7, 2025 18:07 8m 12s main
main
January 7, 2025 18:07 8m 12s