Skip to content

Actions: trishullab/PutnamBench

Actions

build lean

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean.yml
310 workflow runs
310 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix a few minor Lean misformalisations build lean #239: Pull request #229 synchronize by ocfnash
October 29, 2024 14:33 22m 47s ocfnash:main
ocfnash:main
October 29, 2024 14:33 22m 47s
Fix a few minor Lean misformalisations build lean #238: Pull request #229 synchronize by ocfnash
October 29, 2024 13:59 23m 17s ocfnash:main
ocfnash:main
October 29, 2024 13:59 23m 17s
lean: Add missing arguments to rank build lean #237: Pull request #240 opened by eric-wieser
October 28, 2024 19:03 21m 56s eric-wieser:rank
eric-wieser:rank
October 28, 2024 19:03 21m 56s
Fix 1996 A4 build lean #236: Pull request #230 synchronize by GeorgeTsoukalas
October 28, 2024 18:36 21m 19s faabian:fix_1996_a4
faabian:fix_1996_a4
October 28, 2024 18:36 21m 19s
Fix a few minor Lean misformalisations build lean #235: Pull request #229 synchronize by ocfnash
October 24, 2024 16:56 22m 18s ocfnash:main
ocfnash:main
October 24, 2024 16:56 22m 18s
Fix a few minor Lean misformalisations build lean #234: Pull request #229 synchronize by ocfnash
October 24, 2024 10:18 22m 26s ocfnash:main
ocfnash:main
October 24, 2024 10:18 22m 26s
Merge pull request #239 from eric-wieser/no-by build lean #233: Commit 64211ad pushed by GeorgeTsoukalas
October 23, 2024 19:10 21m 34s main
main
October 23, 2024 19:10 21m 34s
Merge pull request #238 from ocfnash/more_fixes build lean #232: Commit b6f0e68 pushed by GeorgeTsoukalas
October 23, 2024 19:09 21m 57s main
main
October 23, 2024 19:09 21m 57s
Fix a few minor Lean misformalisations build lean #231: Pull request #238 synchronize by ocfnash
October 23, 2024 15:03 22m 14s ocfnash:more_fixes
ocfnash:more_fixes
October 23, 2024 15:03 22m 14s
Standardize on := sorry not := by sorry build lean #230: Pull request #239 opened by eric-wieser
October 23, 2024 14:02 21m 28s eric-wieser:no-by
eric-wieser:no-by
October 23, 2024 14:02 21m 28s
Fix a few minor Lean misformalisations build lean #229: Pull request #238 synchronize by ocfnash
October 23, 2024 08:59 21m 54s ocfnash:more_fixes
ocfnash:more_fixes
October 23, 2024 08:59 21m 54s
Merge pull request #237 from eric-wieser/trailing-spaces build lean #228: Commit 0be019d pushed by GeorgeTsoukalas
October 22, 2024 20:42 21m 45s main
main
October 22, 2024 20:42 21m 45s
Merge pull request #234 from eric-wieser/BigOperators build lean #227: Commit 4ca8080 pushed by GeorgeTsoukalas
October 22, 2024 20:39 21m 29s main
main
October 22, 2024 20:39 21m 29s
Fix a few minor Lean misformalisations build lean #226: Pull request #238 opened by ocfnash
October 22, 2024 17:21 21m 31s ocfnash:more_fixes
ocfnash:more_fixes
October 22, 2024 17:21 21m 31s
Merge pull request #233 from eric-wieser/dotProduct build lean #225: Commit 380dfe6 pushed by GeorgeTsoukalas
October 22, 2024 16:43 22m 21s main
main
October 22, 2024 16:43 22m 21s
Remove open BigOperators which does nothing build lean #224: Pull request #234 synchronize by eric-wieser
October 21, 2024 21:16 22m 38s eric-wieser:BigOperators
eric-wieser:BigOperators
October 21, 2024 21:16 22m 38s
Strip trailing spaces from informal descriptions build lean #223: Pull request #237 opened by eric-wieser
October 21, 2024 17:54 21m 13s eric-wieser:trailing-spaces
eric-wieser:trailing-spaces
October 21, 2024 17:54 21m 13s
Use ⟪x, y⟫_ℝ instead of Matrix.dotProduct build lean #222: Pull request #233 synchronize by eric-wieser
October 21, 2024 17:33 21m 35s eric-wieser:dotProduct
eric-wieser:dotProduct
October 21, 2024 17:33 21m 35s
Merge pull request #235 from trishullab/george build lean #221: Commit 06dc7cb pushed by GeorgeTsoukalas
October 21, 2024 16:58 22m 2s main
main
October 21, 2024 16:58 22m 2s
Merge pull request #236 from eric-wieser/fix-autoParams build lean #220: Commit 2c3bb6a pushed by GeorgeTsoukalas
October 21, 2024 16:58 22m 42s main
main
October 21, 2024 16:58 22m 42s
Fix uses of optParam build lean #219: Pull request #236 opened by eric-wieser
October 21, 2024 15:49 21m 49s eric-wieser:fix-autoParams
eric-wieser:fix-autoParams
October 21, 2024 15:49 21m 49s
Remove open BigOperators which does nothing build lean #218: Pull request #234 synchronize by eric-wieser
October 21, 2024 15:43 11m 35s eric-wieser:BigOperators
eric-wieser:BigOperators
October 21, 2024 15:43 11m 35s
Update READMEs, leaderboard, Coq dataset build lean #217: Pull request #235 opened by GeorgeTsoukalas
October 21, 2024 14:57 21m 15s george
george
October 21, 2024 14:57 21m 15s
Add 1 new Coq formalization build lean #216: Commit e9f4b87 pushed by GeorgeTsoukalas
October 21, 2024 14:56 22m 11s george
george
October 21, 2024 14:56 22m 11s
Remove open BigOperators which does nothing build lean #215: Pull request #234 opened by eric-wieser
October 21, 2024 11:29 3m 51s eric-wieser:BigOperators
eric-wieser:BigOperators
October 21, 2024 11:29 3m 51s