Articles by saithound
10

Some Junk Theorems in Lean (github.com/james-hanson)

an hour ago saithound github.com
3

ArXiv is hiring, moving to Google Cloud (arxiv.org)

2 years ago saithound arxiv.org