Skip to content

Actions: ufmg-smite/lean-smt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
300 workflow runs
300 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Rat.Polynorm theorems and Rat lemmas and Real.Polynorm CI #637: Pull request #161 synchronize by mhk119
January 20, 2025 17:05 6m 20s mhk119:polynorm-real
mhk119:polynorm-real
January 20, 2025 17:05 6m 20s
Sync with lean-cvc5. (#163) CI #636: Commit 4cdea12 pushed by abdoo8080
January 16, 2025 09:51 10m 21s main
main
January 16, 2025 09:51 10m 21s
Sync with lean-cvc5. CI #635: Pull request #163 opened by abdoo8080
January 16, 2025 09:40 10m 49s abdoo8080:sync-cvc5
abdoo8080:sync-cvc5
January 16, 2025 09:40 10m 49s
Update README.md. (#162) CI #634: Commit 7f3956d pushed by abdoo8080
January 15, 2025 05:07 13m 3s main
main
January 15, 2025 05:07 13m 3s
Update README.md. CI #633: Pull request #162 opened by abdoo8080
January 15, 2025 05:06 10m 53s abdoo8080:readme
abdoo8080:readme
January 15, 2025 05:06 10m 53s
feat: Rat.Polynorm theorems and Rat lemmas and Real.Polynorm CI #632: Pull request #161 synchronize by mhk119
January 13, 2025 19:06 13m 47s mhk119:polynorm-real
mhk119:polynorm-real
January 13, 2025 19:06 13m 47s
Update Lean toolchain. (#160) CI #631: Commit 61dde70 pushed by abdoo8080
January 10, 2025 06:02 12m 7s main
main
January 10, 2025 06:02 12m 7s
Update Lean toolchain. CI #630: Pull request #160 synchronize by abdoo8080
January 10, 2025 05:07 10m 29s abdoo8080:4.15
abdoo8080:4.15
January 10, 2025 05:07 10m 29s
Update Lean toolchain. CI #629: Pull request #160 opened by abdoo8080
January 9, 2025 09:26 11m 49s abdoo8080:4.15
abdoo8080:4.15
January 9, 2025 09:26 11m 49s
Lemmas about rational numbers CI #628: Pull request #158 synchronize by tomaz1502
January 7, 2025 20:37 15m 26s feat/rat-lemmas
feat/rat-lemmas
January 7, 2025 20:37 15m 26s
Add authors CI #627: Commit 555cf6c pushed by tomaz1502
January 7, 2025 20:37 13m 48s feat/rat-lemmas
feat/rat-lemmas
January 7, 2025 20:37 13m 48s
Lemmas about rational numbers CI #626: Pull request #158 synchronize by tomaz1502
January 3, 2025 23:25 10m 17s feat/rat-lemmas
feat/rat-lemmas
January 3, 2025 23:25 10m 17s
Add authors CI #625: Commit ecfe5e3 pushed by tomaz1502
January 3, 2025 23:25 7m 18s feat/rat-lemmas
feat/rat-lemmas
January 3, 2025 23:25 7m 18s
Lemmas about rational numbers CI #624: Pull request #158 synchronize by tomaz1502
January 3, 2025 23:05 9m 59s feat/rat-lemmas
feat/rat-lemmas
January 3, 2025 23:05 9m 59s
Shorten some proofs CI #623: Commit dafcab5 pushed by tomaz1502
January 3, 2025 23:05 7m 16s feat/rat-lemmas
feat/rat-lemmas
January 3, 2025 23:05 7m 16s
Lemmas about rational numbers CI #622: Pull request #158 synchronize by tomaz1502
January 3, 2025 22:47 13m 7s feat/rat-lemmas
feat/rat-lemmas
January 3, 2025 22:47 13m 7s
Rename theorems CI #621: Commit 2ff9d31 pushed by tomaz1502
January 3, 2025 22:47 7m 7s feat/rat-lemmas
feat/rat-lemmas
January 3, 2025 22:47 7m 7s
Lemmas about rational numbers CI #620: Pull request #158 synchronize by tomaz1502
January 3, 2025 22:43 9m 23s feat/rat-lemmas
feat/rat-lemmas
January 3, 2025 22:43 9m 23s
Fix test CI #619: Commit 9edd19b pushed by tomaz1502
January 3, 2025 22:43 7m 26s feat/rat-lemmas
feat/rat-lemmas
January 3, 2025 22:43 7m 26s
Lemmas about rational numbers CI #618: Pull request #158 synchronize by tomaz1502
January 3, 2025 21:07 6m 44s feat/rat-lemmas
feat/rat-lemmas
January 3, 2025 21:07 6m 44s
Remove repeated variable declaration CI #617: Commit 14fede0 pushed by tomaz1502
January 3, 2025 21:07 5m 23s feat/rat-lemmas
feat/rat-lemmas
January 3, 2025 21:07 5m 23s
Lemmas about rational numbers CI #616: Pull request #158 synchronize by tomaz1502
January 3, 2025 21:03 7m 19s feat/rat-lemmas
feat/rat-lemmas
January 3, 2025 21:03 7m 19s
Reintroduce Rat.abs CI #615: Commit d314228 pushed by tomaz1502
January 3, 2025 21:03 7m 37s feat/rat-lemmas
feat/rat-lemmas
January 3, 2025 21:03 7m 37s
Lemmas about rational numbers CI #614: Pull request #158 synchronize by tomaz1502
January 3, 2025 21:00 5m 12s feat/rat-lemmas
feat/rat-lemmas
January 3, 2025 21:00 5m 12s
Reintroduce Rat.mul_neg_le CI #613: Commit 9d015bd pushed by tomaz1502
January 3, 2025 21:00 6m 26s feat/rat-lemmas
feat/rat-lemmas
January 3, 2025 21:00 6m 26s