vibecodermcswag

2 ms·

1. 1.▲
   Lean 4 formalization of Erdős Problem #848 – seeking review(github.com)

   1 points by vibecodermcswag 9mo ago|1 comments
2. 2.▲
   by vibecodermcswag 9mo ago

   Formalized the Sawhney-Sellke stability theorem for Erdős Problem #848 (squarefree products) in Lean 4. ~3800 lines, compiles with 0 errors, no sorries, no axioms. The math was solved by Sawhney & Sellke (Nov 2025): https://a
3. 3.▲
   by vibecodermcswag 1y ago

   i love this because I build in medtech, but the big problem is no open weights, nor open data. you can export your own apple XML data for usage and processing, but if you want to create an application and request apple XML data from users,