Comment by empath75
3 hours ago
Because they have hundreds of potential proofs they were sitting on, and lack the internal expertise to judge them. It seems like they're working to formalize all of the in Lean, but that takes time.
3 hours ago
Because they have hundreds of potential proofs they were sitting on, and lack the internal expertise to judge them. It seems like they're working to formalize all of the in Lean, but that takes time.
This sounds suspiciously like non-developers dumping their vibe-coded projects on online communities