And added 6 new ones. Might want to add that to the headline. | alt Hacker News

alt Hacker News

TrackerFF • yesterday at 12:25 PM • 1 reply • view on HN

And added 6 new ones. Might want to add that to the headline.

Replies

gabrimat • yesterday at 12:45 PM

Looks like those are new formalizations of existing proofs, not new ones

➕ show 1 reply