Skip to content

Actions: trishullab/PutnamBench

Actions

build lean

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean.yml
273 workflow runs
273 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Modify Coq 1962 - 1968 to Mathcomp. build lean #151: Pull request #219 opened by GeorgeTsoukalas
September 25, 2024 17:29 19m 43s george
george
September 25, 2024 17:29 19m 43s
Modify Coq 1962 - 1968 to Mathcomp. build lean #150: Commit ef58028 pushed by GeorgeTsoukalas
September 25, 2024 17:28 20m 12s george
george
September 25, 2024 17:28 20m 12s
Merge pull request #218 from elkhrt/main build lean #149: Commit 2cde314 pushed by GeorgeTsoukalas
September 25, 2024 16:55 19m 43s main
main
September 25, 2024 16:55 19m 43s
Merge pull request #214 from trishullab/george build lean #148: Commit 3a07fd4 pushed by GeorgeTsoukalas
September 25, 2024 16:55 19m 56s main
main
September 25, 2024 16:55 19m 56s
Fix one Lean misformalisation build lean #147: Pull request #217 synchronize by ocfnash
September 25, 2024 15:56 19m 27s ocfnash:main
ocfnash:main
September 25, 2024 15:56 19m 27s
Fix one Lean misformalisation build lean #146: Pull request #217 synchronize by ocfnash
September 25, 2024 15:14 22m 47s ocfnash:main
ocfnash:main
September 25, 2024 15:14 22m 47s
Fix some escaping issues in informal LaTeX. build lean #145: Pull request #218 synchronize by elkhrt
September 25, 2024 13:56 20m 33s elkhrt:main
elkhrt:main
September 25, 2024 13:56 20m 33s
Fix one Lean misformalisation build lean #143: Pull request #217 opened by ocfnash
September 24, 2024 17:01 19m 35s ocfnash:main
ocfnash:main
September 24, 2024 17:01 19m 35s
Merge pull request #215 from eric-wieser/patch-2 build lean #142: Commit a558324 pushed by GeorgeTsoukalas
September 23, 2024 15:20 20m 29s main
main
September 23, 2024 15:20 20m 29s
Add the docstrings to the Lean files. build lean #141: Pull request #216 synchronize by eric-wieser
September 23, 2024 12:37 20m 21s eric-wieser:lean-docstrings
eric-wieser:lean-docstrings
September 23, 2024 12:37 20m 21s
Add the docstrings to the Lean files. build lean #140: Pull request #216 synchronize by eric-wieser
September 23, 2024 11:29 10m 35s eric-wieser:lean-docstrings
eric-wieser:lean-docstrings
September 23, 2024 11:29 10m 35s
Add the docstrings to the Lean files. build lean #139: Pull request #216 opened by eric-wieser
September 23, 2024 11:28 10m 35s eric-wieser:lean-docstrings
eric-wieser:lean-docstrings
September 23, 2024 11:28 10m 35s
Line-wrap putnam.json build lean #138: Pull request #215 opened by eric-wieser
September 23, 2024 10:00 19m 34s eric-wieser:patch-2
eric-wieser:patch-2
September 23, 2024 10:00 19m 34s
Move to mathcomp (69-72) & Lean slight modifications build lean #137: Pull request #214 opened by GeorgeTsoukalas
September 21, 2024 21:35 19m 22s george
george
September 21, 2024 21:35 19m 22s
Change notation slightly. build lean #136: Commit b42a2ad pushed by GeorgeTsoukalas
September 21, 2024 21:34 19m 20s george
george
September 21, 2024 21:34 19m 20s
Merge pull request #211 from trishullab/george build lean #135: Commit dc596e9 pushed by GeorgeTsoukalas
September 21, 2024 21:05 19m 11s main
main
September 21, 2024 21:05 19m 11s
Merge pull request #212 from ocfnash/main build lean #134: Commit 8aaccf8 pushed by GeorgeTsoukalas
September 16, 2024 20:50 20m 27s main
main
September 16, 2024 20:50 20m 27s
Fix a few minor Lean misformalisations build lean #133: Pull request #212 synchronize by ocfnash
September 15, 2024 15:23 20m 16s ocfnash:main
ocfnash:main
September 15, 2024 15:23 20m 16s
Fix a few minor Lean misformalisations build lean #132: Pull request #212 opened by ocfnash
September 13, 2024 16:40 19m 45s ocfnash:main
ocfnash:main
September 13, 2024 16:40 19m 45s
Modify 73-78 Coq -> Mathcomp, Update Isabelle formalizations pursuant to #203, #206. build lean #131: Pull request #211 synchronize by GeorgeTsoukalas
September 13, 2024 14:45 19m 48s george
george
September 13, 2024 14:45 19m 48s
Fix theorem naming. build lean #130: Commit 717d229 pushed by GeorgeTsoukalas
September 13, 2024 14:45 20m 26s george
george
September 13, 2024 14:45 20m 26s
Modify 73-78 Coq -> Mathcomp, Update Isabelle formalizations pursuant to #203, #206. build lean #129: Pull request #211 opened by GeorgeTsoukalas
September 11, 2024 17:01 19m 31s george
george
September 11, 2024 17:01 19m 31s
Merge branch 'main' of https://github.com/trishullab/PutnamBench into… build lean #128: Commit 75a4fe7 pushed by GeorgeTsoukalas
September 11, 2024 17:00 20m 20s george
george
September 11, 2024 17:00 20m 20s
Merge pull request #210 from ocfnash/fixes_20240904 build lean #127: Commit fd87a6d pushed by GeorgeTsoukalas
September 9, 2024 20:25 19m 55s main
main
September 9, 2024 20:25 19m 55s
Fix a few minor Lean misformalisations build lean #126: Pull request #210 synchronize by ocfnash
September 9, 2024 15:14 20m 59s ocfnash:fixes_20240904
ocfnash:fixes_20240904
September 9, 2024 15:14 20m 59s