Show HN: Spivak's Calculus formalized in Lean 4 – every theorem, every problem | Dark Hacker News

Dark Hacker News

new|best|ask|show|jobs

Built with the HackerNews API. Developed by LJT.AI

Note: The HackerNews API provides up to 500 stories per category

Show HN: Spivak's Calculus formalized in Lean 4 – every theorem, every problem | Dark Hacker News

Show HN: Spivak's Calculus formalized in Lean 4 – every theorem, every problem(github.com)

9 points by jsLavaGoat 7 hours ago | 2 comments

jsLavaGoat 7 hours ago |

[flagged]

dang 22 minutes 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.