HN Explorer

jsLavaGoat

↗ HN profile [ 219 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Show HN: Spivak's Calculus formalized in Lean 4 – every theorem, every problem (github.com)
    1 points 2
  2. Is Justified True Belief Knowledge? [pdf] (courses.physics.illinois.edu)
    6 points 1