Hacker News new | ask | show | jobs
user: ptrj_
created: 2024-11-29
karma: 10

https://github.com/peterhj

submissions:

0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
A mathematical proof assistant (v2)
4 points | 0 comments
DeepSeek-Prover-V2-671B
14 points | 0 comments
Export Control Diffusion Confusion
1 points | 0 comments