Skip to content

Actions: mhk119/lean-smt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
40 workflow runs
40 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

all sorries CI #40: Commit b783b84 pushed by mhk119
January 23, 2025 21:46 12m 9s polynorm-rat-real
polynorm-rat-real
January 23, 2025 21:46 12m 9s
change CI #39: Commit fe7cb77 pushed by mhk119
January 23, 2025 01:38 5m 33s polynorm-rat-real
polynorm-rat-real
January 23, 2025 01:38 5m 33s
sorries done CI #38: Commit 5f87f74 pushed by mhk119
January 23, 2025 01:30 6m 12s polynorm-rat-real
polynorm-rat-real
January 23, 2025 01:30 6m 12s
Merge branch 'main' into polynorm-real CI #37: Commit ac62274 pushed by abdoo8080
January 22, 2025 19:54 6m 28s polynorm-real
polynorm-real
January 22, 2025 19:54 6m 28s
all sorries CI #36: Commit 2324827 pushed by mhk119
January 21, 2025 19:08 6m 8s polynorm-real
polynorm-real
January 21, 2025 19:08 6m 8s
real polynorm CI #35: Commit b847135 pushed by mhk119
January 20, 2025 17:05 5m 12s polynorm-real
polynorm-real
January 20, 2025 17:05 5m 12s
Merge branch 'main' into polynorm-real CI #34: Commit 898e692 pushed by mhk119
January 13, 2025 19:06 14m 52s polynorm-real
polynorm-real
January 13, 2025 19:06 14m 52s
bugs CI #33: Commit ed6706a pushed by mhk119
January 13, 2025 19:03 15m 33s polynorm-real
polynorm-real
January 13, 2025 19:03 15m 33s
Fix bug with Iff elimination. (#123) CI #32: Commit a16cd6b pushed by mhk119
January 7, 2025 21:22 1m 5s polynorm
polynorm
January 7, 2025 21:22 1m 5s
rational theorems CI #31: Commit 6933d81 pushed by mhk119
January 7, 2025 21:20 1m 16s polynorm
polynorm
January 7, 2025 21:20 1m 16s
requested changes CI #30: Commit 70d894d pushed by mhk119
September 30, 2024 18:27 52s polynorm
polynorm
September 30, 2024 18:27 52s
done CI #29: Commit b74720b pushed by mhk119
September 30, 2024 18:09 12m 30s transcendentals
transcendentals
September 30, 2024 18:09 12m 30s
Update Smt/Reconstruct/Int/Polynorm.lean CI #28: Commit 18c0649 pushed by mhk119
September 30, 2024 18:05 1m 3s polynorm
polynorm
September 30, 2024 18:05 1m 3s
refactor CI #27: Commit 37f484b pushed by mhk119
August 19, 2024 06:30 11m 56s transcendentals
transcendentals
August 19, 2024 06:30 11m 56s
updates CI #26: Commit 4db8c03 pushed by mhk119
August 15, 2024 22:02 12m 1s transcendentals
transcendentals
August 15, 2024 22:02 12m 1s
Update Smt/Reconstruct/Int/Polynorm.lean CI #25: Commit a91c734 pushed by mhk119
August 12, 2024 23:44 51s polynorm
polynorm
August 12, 2024 23:44 51s
Update Smt/Reconstruct/Int/Polynorm.lean CI #24: Commit 0e9566d pushed by mhk119
August 12, 2024 23:44 48s polynorm
polynorm
August 12, 2024 23:44 48s
Update Smt/Reconstruct/Int/Polynorm.lean CI #23: Commit d87b0dd pushed by mhk119
August 12, 2024 23:44 46s polynorm
polynorm
August 12, 2024 23:44 46s
Update Smt/Reconstruct/Int/Polynorm.lean CI #22: Commit 69967d4 pushed by mhk119
August 12, 2024 23:44 41s polynorm
polynorm
August 12, 2024 23:44 41s
Update Smt/Reconstruct/Int/Polynorm.lean CI #21: Commit 1188519 pushed by mhk119
August 12, 2024 23:43 49s polynorm
polynorm
August 12, 2024 23:43 49s
Update Smt/Reconstruct/Int/Polynorm.lean CI #20: Commit c52b300 pushed by mhk119
August 12, 2024 23:43 45s polynorm
polynorm
August 12, 2024 23:43 45s
Update Smt/Reconstruct/Int/Polynorm.lean CI #19: Commit 5b92d62 pushed by mhk119
August 12, 2024 23:42 47s polynorm
polynorm
August 12, 2024 23:42 47s
Update Smt/Reconstruct/Int/Polynorm.lean CI #18: Commit 42e616d pushed by mhk119
August 12, 2024 23:42 50s polynorm
polynorm
August 12, 2024 23:42 50s
small changes CI #17: Commit 7ab8e70 pushed by mhk119
July 29, 2024 11:25 7m 24s polynorm
polynorm
July 29, 2024 11:25 7m 24s
Fix bug with Iff elimination. (#123) CI #16: Commit 1d2de14 pushed by mhk119
July 29, 2024 11:13 2m 14s polynorm
polynorm
July 29, 2024 11:13 2m 14s