Announcement
LeanEval reportedly sees 15 solutions in 14 hours
The original poster calls the competition “fierce,” citing 15 solutions in the preceding 14 hours.
TLDR
A post reposted on October 13 says LeanEval had 15 solutions in the preceding 14 hours. Its original author describes the competition as “fierce.”
Combined views
—
2 Sources, first seen ago
— likes— comments— saves— reposts
