5 months ago|discuss
user: kuruczgy
57 karma | created 3 years ago
recent submissions
5 months ago|discuss
7 months ago|discuss
7 months ago|discuss
9 months ago|discuss
9 months ago|discuss
9 months ago|discuss
9 months ago|discuss
9 months ago|discuss
Porting Lean to the ESP32-C3 RISC-V Microcontroller
(kuruczgy.com)
2 pts|1 year ago|discuss
1 year ago|discuss
2 years ago|discuss
A formally verified R-tree implementation
(kuruczgy.com)
2 pts|2 years ago|discuss
Theorem Proving in Coq
(kuruczgy.com)
2 pts|2 years ago|discuss
3 years ago|discuss
1 pts|3 years ago|discuss