Skip to content

Top New Best Ask Show Jobs

kuruczgy

57 karmaJoined October 23, 202216 submissions

kuruczgy | Better HN

Recent submissions

1

Porting Lean to the ESP32-C3 RISC-V Microcontroller (opens in new tab)

(kuruczgy.com)

2kuruczgy1y ago0

2

A formally verified R-tree implementation (opens in new tab)

(kuruczgy.com)

2kuruczgy2y ago0

3

Theorem Proving in Coq (opens in new tab)

(kuruczgy.com)

2kuruczgy2y ago0