gabrimat

Joined 1 year ago

Karma

6

Submissions

1

Member since

Feb 7

software engineer

View on Hacker News

Recent submissions

Comment · 24 days ago

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