All issues

Search results

putnam_1974_b1 appears refutable

Status: Open.

#347 In trishullab/PutnamBench;

· wty500 opened on Aug 13, 2026

(669/672) Leaderboard Submission -- Team Humanfia

Status: Open.

#339 In trishullab/PutnamBench;

· Lyken17 opened on Jul 17, 2026

What's the meaning of "no answer" in the leaderboard?

Status: Open.

#330 In trishullab/PutnamBench;

· yuanyehome opened on Mar 6, 2026

Update misformalizations found by Aleph Prover in Isabelle, Rocq

Status: Open.

#323 In trishullab/PutnamBench;

· GeorgeTsoukalas opened on Dec 30, 2025

Feature request: include the original problem descriptions in docstrings for the theorem statements

Status: Open.

#196 In trishullab/PutnamBench;

· eric-wieser opened on Aug 6, 2024

Proposal: Use sigma types with partial proofs for solution witnesses

Status: Open.

#195 In trishullab/PutnamBench;

· LasseBlaauwbroek opened on Aug 6, 2024

MathComp Analysis and idiomatic Coq formalizations

Status: Open.

#192 In trishullab/PutnamBench;

· palmskog opened on Aug 3, 2024