navidhg

Joined 14 years ago

Karma

530

Submissions

6

Member since

Feb 26

https://navid.io

View on Hacker News

Recent submissions

Software Foundations being translated to Lean leanprover.zulipchat.com

3 navidhg 4 months ago 1 comments

Correct and Efficient Bounded FIFO Queues inria.hal.science

2 navidhg 1 year ago 0 comments

Formalizing proof of Polynomial Freiman-Ruzsa conjecture in Lean4 is complete mathstodon.xyz

4 navidhg 2 years ago 0 comments

GNU Hurd 2023 gnu.org

21 navidhg 3 years ago 2 comments

Ableton Push 3 ableton.com

354 navidhg 3 years ago 297 comments

Learning Synths learningsynths.ableton.com

969 navidhg 7 years ago 172 comments