Skip to content

Actions: JetBrains/arend-lib

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
90 workflow runs
90 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Prove that determinantN is equal to determinant check #311: Commit ddc0f74 pushed by valis
July 14, 2023 16:31 4m 34s master
master
July 14, 2023 16:31 4m 34s
Prove that determinant preserves product check #310: Commit 9d6fd11 pushed by valis
July 13, 2023 16:58 4m 29s master
master
July 13, 2023 16:58 4m 29s
Prove that determinant is alternating check #309: Commit 263ad3d pushed by valis
July 13, 2023 13:28 5m 4s master
master
July 13, 2023 13:28 5m 4s
Prove that determinant is multilinear check #308: Commit 4767938 pushed by valis
July 12, 2023 20:37 3m 38s master
master
July 12, 2023 20:37 3m 38s
Prove that alternating maps are determined by their values on a gener… check #307: Commit be495f0 pushed by valis
July 10, 2023 15:45 4m 3s master
master
July 10, 2023 15:45 4m 3s
Define pigeonhole principle sets and prove that they are Dedekind finite check #306: Commit 54a5020 pushed by valis
July 9, 2023 23:08 7m 5s master
master
July 9, 2023 23:08 7m 5s
Define the matrix ring check #305: Commit 0486daa pushed by valis
July 3, 2023 19:10 14m 52s master
master
July 3, 2023 19:10 14m 52s
Prove that Euclidean domains are PIDs check #304: Commit ec8909c pushed by valis
June 29, 2023 18:34 7m 50s master
master
June 29, 2023 18:34 7m 50s
Define PIDs and prove that Int and Poly are PIDs check #303: Commit 74206c1 pushed by valis
June 29, 2023 16:34 7m 22s master
master
June 29, 2023 16:34 7m 22s
Prove Lagrange's theorem check #302: Commit 8d12fbb pushed by valis
June 27, 2023 19:11 9m 44s master
master
June 27, 2023 19:11 9m 44s
Prove that Kuratowski finite decidable sets are finite check #301: Commit 42dc8b6 pushed by valis
June 27, 2023 16:25 8m 17s master
master
June 27, 2023 16:25 8m 17s
Prove pigeonhole principle check #300: Commit 3b1bfb8 pushed by valis
June 27, 2023 15:07 8m 17s master
master
June 27, 2023 15:07 8m 17s
Merge pull request #60 from JetBrains/subexpr_fix check #299: Commit 1aab660 pushed by valis
June 23, 2023 10:34 30m 5s master
master
June 23, 2023 10:34 30m 5s
Fix replaceSubexpressions check #298: Pull request #60 opened by part-xx
June 23, 2023 10:29 30m 3s subexpr_fix
subexpr_fix
June 23, 2023 10:29 30m 3s
Compare instances up to equations in linarith check #296: Commit afdf0d2 pushed by valis
April 6, 2023 07:50 8m 0s master
master
April 6, 2023 07:50 8m 0s