HN Explorer

JacobAsmuth

↗ HN profile [ 61.5 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Qed: A verified web front end written in Lean4 (github.com)
    3 points 0