HN Explorer

ptrj_

↗ HN profile [ 45.8 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. A mathematical proof assistant (v2) (github.com)
    4 points 0
  2. DeepSeek-Prover-V2-671B (huggingface.co)
    14 points 0
  3. Export Control Diffusion Confusion (oracle.com)
    1 points 0