Skip to content

Actions: uw-math-ai/FormalizingGMT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
53 workflow runs
53 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
Refactor theorem2_6_density_at_points_not_in_E Lean Action CI #53: Commit 05be88b pushed by tdwag123
29m 58s main
main
29m 58s
Add comment on using instances for proof golf Lean Action CI #52: Commit fc6bc49 pushed by tdwag123
36m 8s main
main
36m 8s
Add files via upload Lean Action CI #51: Commit 45a7cbf pushed by acao08
35m 59s main
main
35m 59s
finalize section 2 density defs Lean Action CI #50: Commit 162fd4f pushed by nathanpao
34m 59s main
main
34m 59s
draft section 2 density def Lean Action CI #49: Commit 5e86c51 pushed by nathanpao
35m 13s main
main
35m 13s
Update with correct (hopefully) statement and Modular Lemmas. This sh… Lean Action CI #48: Commit 6d0771f pushed by tdwag123
35m 34s main
main
35m 34s
refactor densitiy definitions and proof golf varientOfVitaliCovering Lean Action CI #47: Commit fb9ee7c pushed by nathanpao
35m 19s main
main
35m 19s
Here is a version of Theorem 2.6 from the Evans book, I need to check… Lean Action CI #46: Commit 995ed1f pushed by tdwag123
33m 41s main
main
33m 41s
Refactoring Vitali (variant) covering lemma Lean Action CI #45: Commit 7e0573a pushed by tdwag123
33m 44s main
main
33m 44s
Comments on definitions and how to prove the actual thing itself Lean Action CI #44: Commit af08e8b pushed by tdwag123
34m 33s main
main
34m 33s
Delete thm17.lean Lean Action CI #43: Commit 92718cf pushed by acao08
31m 4s main
main
31m 4s
Add files via upload Lean Action CI #42: Commit 32f7611 pushed by acao08
34m 30s main
main
34m 30s
Add files via upload Lean Action CI #41: Commit a26239a pushed by acao08
35m 43s main
main
35m 43s
Some attempts at formalizing vitali covering theorems, needs to be cl… Lean Action CI #40: Commit 7f0de79 pushed by tdwag123
35m 26s main
main
35m 26s
shorten proofs in Lemma3.3.lean and generalize statement Lean Action CI #39: Commit aaf6988 pushed by tdwag123
36m 23s main
main
36m 23s
Removed the local definitions from the Most Lemmas Initial Aristotle … Lean Action CI #38: Commit 3461d60 pushed by tdwag123
37m 22s main
main
37m 22s
Refactoring of the definitions file. Mostly a rearrangement of the or… Lean Action CI #37: Commit 0d38f0c pushed by tdwag123
36m 37s main
main
36m 37s
Removed faulty definitions for ratio, upper ratio, and lower ratio Lean Action CI #36: Commit f4f677c pushed by tdwag123
37m 19s main
main
37m 19s
Refactor definitions: rename/remove to align with Mathlib conventions Lean Action CI #35: Commit 3f688b6 pushed by tdwag123
31m 5s main
main
31m 5s
Added to Definitions.lean Lean Action CI #34: Pull request #3 opened by joshugiir
2m 14s radon-density-ratio
radon-density-ratio
2m 14s
Added to Definitions.lean Lean Action CI #33: Commit ad4d5e0 pushed by joshugiir
36m 29s radon-density-ratio
radon-density-ratio
36m 29s
Add Definitions.lean with GMT conventions; update Lemma3.3 and Aristo… Lean Action CI #32: Commit b93e972 pushed by tdwag123
36m 2s main
main
36m 2s
remove mcp json Lean Action CI #31: Commit 7012003 pushed by nathanpao
31m 12s main
main
31m 12s
List of what I did in this push: Lean Action CI #30: Commit 5c80684 pushed by tdwag123
38m 16s main
main
38m 16s
Revise README for Lemma 3.3 and PR statuses Lean Action CI #29: Commit e5f1c17 pushed by tdwag123
36m 2s main
main
36m 2s