ReuF2F
A Lean 4 benchmark of 244 open problems from undergraduate research for evaluating coding agents.
Projects
Software, research, and experiments.
Projects filters
Open filters No filters active
Order
Kind
Status
Created
Tags
0 selected
Results must match every included tag and none of the excluded tags.
Click once to select, twice to exclude, three times to clear.
No tags match that search.
All projects
2 projects, newest first-
research active -
software active Two-Do
An app for couples, built by my partner Grace Tian and me.
No projects match these filters.