Skip to content

Actions: PerAlexandersson/RealRooted

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
Prove real eigenvalues of totally nonnegative matrices are nonnegative Lean Action CI #3487: Pull request #413 opened by PerAlexandersson
1h 28m 19s proof/tn-real-eigenvalues
proof/tn-real-eigenvalues
1h 28m 19s
Prove real eigenvalues of totally nonnegative matrices are nonnegative Comparator CI (a trustworthy judge for Lean proofs) #2758: Pull request #413 opened by PerAlexandersson
6m 10s proof/tn-real-eigenvalues
proof/tn-real-eigenvalues
6m 10s
Prove real eigenvalues of totally nonnegative matrices are nonnegative Lean Action CI #3486: Commit 5cd55e5 pushed by PerAlexandersson
5s proof/tn-real-eigenvalues
proof/tn-real-eigenvalues
5s
Port the MCMC Perron-Frobenius development Comparator CI (a trustworthy judge for Lean proofs) #2757: Pull request #412 synchronize by PerAlexandersson
6m 22s proof/perron-frobenius
proof/perron-frobenius
6m 22s
Port the MCMC Perron-Frobenius development Lean Action CI #3485: Pull request #412 synchronize by PerAlexandersson
7m 23s proof/perron-frobenius
proof/perron-frobenius
7m 23s
Prove Perron-Frobenius for general nonnegative matrices Lean Action CI #3484: Commit 43cdcb1 pushed by PerAlexandersson
10s proof/perron-frobenius
proof/perron-frobenius
10s
Port the MCMC Perron-Frobenius development Lean Action CI #3483: Pull request #412 opened by PerAlexandersson
1h 17m 29s proof/perron-frobenius
proof/perron-frobenius
1h 17m 29s
Port the MCMC Perron-Frobenius development Comparator CI (a trustworthy judge for Lean proofs) #2756: Pull request #412 opened by PerAlexandersson
56m 2s proof/perron-frobenius
proof/perron-frobenius
56m 2s
Port the MCMC Perron-Frobenius development Lean Action CI #3482: Commit 475e3cc pushed by PerAlexandersson
4s proof/perron-frobenius
proof/perron-frobenius
4s
Prove the compound eigenvalue theorem Comparator CI (a trustworthy judge for Lean proofs) #2755: Pull request #411 opened by PerAlexandersson
53m 33s proof/compound-spectrum
proof/compound-spectrum
53m 33s
Prove the compound eigenvalue theorem Lean Action CI #3481: Pull request #411 opened by PerAlexandersson
5m 15s proof/compound-spectrum
proof/compound-spectrum
5m 15s
Prove the compound eigenvalue theorem Lean Action CI #3480: Commit d97f799 pushed by PerAlexandersson
4s proof/compound-spectrum
proof/compound-spectrum
4s
Merge pull request #410 from PerAlexandersson/proof/triangularize Comparator CI (a trustworthy judge for Lean proofs) #2754: Commit 4ed5e6e pushed by PerAlexandersson
1h 1m 15s main
main
1h 1m 15s
Merge pull request #410 from PerAlexandersson/proof/triangularize Lean Action CI #3479: Commit 4ed5e6e pushed by PerAlexandersson
6m 4s main
main
6m 4s
Merge pull request #408 from PerAlexandersson/proof/compound-matrix Lean Action CI #3478: Commit d0e8153 pushed by PerAlexandersson
5s main
main
5s
Merge pull request #408 from PerAlexandersson/proof/compound-matrix Comparator CI (a trustworthy judge for Lean proofs) #2753: Commit d0e8153 pushed by PerAlexandersson
55m 27s main
main
55m 27s
Merge pull request #407 from PerAlexandersson/proof/partial-sum-step Comparator CI (a trustworthy judge for Lean proofs) #2752: Commit 6398834 pushed by PerAlexandersson
55m 24s main
main
55m 24s
Merge pull request #407 from PerAlexandersson/proof/partial-sum-step Lean Action CI #3477: Commit 6398834 pushed by PerAlexandersson
2h 39m 33s main
main
2h 39m 33s
Triangularize matrices over an algebraically closed field Comparator CI (a trustworthy judge for Lean proofs) #2751: Pull request #410 synchronize by PerAlexandersson
6m 50s proof/triangularize
proof/triangularize
6m 50s
Triangularize matrices over an algebraically closed field Lean Action CI #3476: Pull request #410 synchronize by PerAlexandersson
1h 0m 7s proof/triangularize
proof/triangularize
1h 0m 7s
Wrap a rewrite for readability Lean Action CI #3475: Commit 942bca1 pushed by PerAlexandersson
4s proof/triangularize
proof/triangularize
4s
Triangularize matrices over an algebraically closed field Comparator CI (a trustworthy judge for Lean proofs) #2750: Pull request #410 opened by PerAlexandersson
11m 19s proof/triangularize
proof/triangularize
11m 19s
Triangularize matrices over an algebraically closed field Lean Action CI #3474: Pull request #410 opened by PerAlexandersson
1m 22s proof/triangularize
proof/triangularize
1m 22s
Triangularize matrices over an algebraically closed field Lean Action CI #3473: Commit 46ea2bd pushed by PerAlexandersson
4s proof/triangularize
proof/triangularize
4s
Compute the charpoly of compounds of triangular matrices Comparator CI (a trustworthy judge for Lean proofs) #2749: Pull request #409 opened by PerAlexandersson
6m 19s proof/compound-eigenvalues
proof/compound-eigenvalues
6m 19s