HN
Hacker News
Top
New
Best
Ask
Show
Jobs
kuruczgy
58 karma · joined October 23, 2022
submissions
comments
Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.com
·
2 pts
·
kuruczgy
·
0
A formally verified R-tree implementation
kuruczgy.com
·
2 pts
·
kuruczgy
·
0
Theorem Proving in Coq
kuruczgy.com
·
2 pts
·
kuruczgy
·
0