Hacker News new | ask | show | jobs
user: kuruczgy
created: 2022-10-23
karma: 58

submissions:

0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Porting Lean to the ESP32-C3 RISC-V Microcontroller
2 points | 0 comments
0 points | 0 comments
0 points | 0 comments
A formally verified R-tree implementation
2 points | 0 comments
Theorem Proving in Coq
2 points | 0 comments
0 points | 0 comments