user: ptrj_

10 karma | created 1 year ago

https://github.com/peterhj

recent submissions

(no title)

6 months ago|discuss

(no title)

6 months ago|discuss

(no title)

9 months ago|discuss

A mathematical proof assistant (v2) (github.com)

4 pts|9 months ago|discuss

DeepSeek-Prover-V2-671B (huggingface.co)

14 pts|10 months ago|discuss

Export Control Diffusion Confusion (oracle.com)

1 pts|1 year ago|discuss