HN
Paper
All
Show
Ask
Jobs
Top
Today
Last 7 days
Last months
This year
Statistics
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Statistics
Stories by
jsLavaGoat
Show HN: Spivak's Calculus formalized in Lean 4 – every theorem, every problem
6 points
jsLavaGoat
2026-09-26T17:00:23Z
github.com
Is Justified True Belief Knowledge? [pdf]
6 points
jsLavaGoat
2026-08-08T20:47:05Z
courses.physics.illinois.edu