kuruczgy Karma 57 Created 3 years ago Recent Submissions 1. ▲ Porting Lean to the ESP32-C3 RISC-V Microcontroller (kuruczgy.com) 2 points · 1 year ago · 0 comments 2. ▲ A formally verified R-tree implementation (kuruczgy.com) 2 points · 2 years ago · 0 comments 3. ▲ Theorem Proving in Coq (kuruczgy.com) 2 points · 2 years ago · 0 comments All submissions on HN · View profile on HN