HN Explorer

kuruczgy

↗ HN profile [ 36.8 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Porting Lean to the ESP32-C3 RISC-V Microcontroller (kuruczgy.com)
    2 points 0
  2. A formally verified R-tree implementation (kuruczgy.com)
    2 points 0
  3. Theorem Proving in Coq (kuruczgy.com)
    2 points 0
  4. 1 points 1