Qed: A verified web front end written in Lean4

(github.com)

3 points | by JacobAsmuth 4 days ago ago

No comments yet.