Code

Fix 1996 A4#230

Code

Merged

GeorgeTsoukalas merged 2 commits intotrishullab:maintrishullab/PutnamBench:mainfrom faabian:fix_1996_a4faabian/PutnamBench:fix_1996_a4Copy head branch name to clipboardOct 29, 2024

+3-3

Commits

Commits on Oct 17, 2024

• Fix 1996 A4

  Show description for 1ce0f88
  

  Fabian Gloeckle

  committed
  1ce0f88

  Copy full SHA for 1ce0f88

Commits on Oct 28, 2024

• Update lean4/src/putnam_1996_a4.lean

  GeorgeTsoukalas

  authored
  f74fe66

  Copy full SHA for f74fe66