Show HN: Spivak's Calculus formalized in Lean 4 – every theorem, every problem (github.com) 1 points by jsLavaGoat 1mo ago ↗ HN
[–] [dead] jsLavaGoat 1mo ago ↗ [flagged] [–] dang 1mo ago ↗ Can you please not post AI-generated or AI-edited comments to HN? It's not allowed here - see https://news.ycombinator.com/newsguidelines.html#generated and https://news.ycombinator.com/item?id=47340079.Of course, it's impossible to know for sure what was LLM processed or not, but this post got classified that way, which is why it was flagged.
[–] dang 1mo ago ↗ Can you please not post AI-generated or AI-edited comments to HN? It's not allowed here - see https://news.ycombinator.com/newsguidelines.html#generated and https://news.ycombinator.com/item?id=47340079.Of course, it's impossible to know for sure what was LLM processed or not, but this post got classified that way, which is why it was flagged.
2 comments
[ 2.7 ms ] story [ 12.1 ms ] threadOf course, it's impossible to know for sure what was LLM processed or not, but this post got classified that way, which is why it was flagged.