Skip to content

Actions: harryrichman/lean-graph-matrices

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add potential spanning tree type definition Lean Action CI #23: Commit fc0963b pushed by harryrichman
1m 44s main
main
1m 44s
partial progress on proof Lean Action CI #22: Commit 792efcb pushed by harryrichman
1m 30s main
main
1m 30s
remove inferred types; add placeholders Lean Action CI #21: Commit be86c56 pushed by harryrichman
1m 26s main
main
1m 26s
generalize Cauchy-Binet type signature Lean Action CI #20: Commit cdb5eb4 pushed by harryrichman
1m 29s main
main
1m 29s
remove duplicate cauchy-binet statement Lean Action CI #19: Commit fd0fac9 pushed by harryrichman
1m 23s main
main
1m 23s
add links Lean Action CI #18: Commit 777d091 pushed by harryrichman
1m 18s main
main
1m 18s
add partial proof of Cauchy-Binet; clean up file Lean Action CI #17: Commit 519e4aa pushed by harryrichman
1m 31s main
main
1m 31s
Merge pull request #1 from harryrichman/Overleaf-patch-1 Lean Action CI #16: Commit 704f790 pushed by harryrichman
1m 38s main
main
1m 38s
fix lean error Lean Action CI #15: Commit 035d2e7 pushed by harryrichman
2m 2s main
main
2m 2s
add lean file Lean Action CI #14: Commit 77ff73b pushed by harryrichman
1m 41s main
main
1m 41s
add lean file with explicit graph and matrix calculations Lean Action CI #13: Commit 5fe2696 pushed by harryrichman
1m 14s main
main
1m 14s
add lean file for working out example Lean Action CI #12: Commit e899670 pushed by harryrichman
1m 26s main
main
1m 26s
format # sign Lean Action CI #11: Commit 794bd99 pushed by harryrichman
1m 14s main
main
1m 14s
format theorem statement in readme Lean Action CI #10: Commit 2cc0ef8 pushed by harryrichman
1m 13s main
main
1m 13s
update readme with theorem statement and links to mathlib docs Lean Action CI #9: Commit 6d7579f pushed by harryrichman
1m 16s main
main
1m 16s
Add a partial proof Lean Action CI #8: Commit d8f6e3c pushed by eric-wieser
1m 14s main
main
1m 14s
Add another spelling of cauchy binet Lean Action CI #7: Commit 7628740 pushed by eric-wieser
1m 16s main
main
1m 16s
add missing manifest Lean Action CI #6: Commit b125d0a pushed by eric-wieser
1m 56s main
main
1m 56s
lean file for Cauchy-Binet statement Lean Action CI #5: Commit d0eaeaf pushed by harryrichman
20s main
main
20s
Latex file for board notes Lean Action CI #4: Pull request #1 opened by DimitriDiam
20s Overleaf-patch-1
Overleaf-patch-1
20s
Latex file for board notes Lean Action CI #3: Commit 1a668aa pushed by DimitriDiam
24s Overleaf-patch-1
Overleaf-patch-1
24s
update readme Lean Action CI #2: Commit 7ca14ee pushed by harryrichman
20s main
main
20s
lake setup Lean Action CI #1: Commit a0ff863 pushed by harryrichman
27s main
main
27s