Qed: A verified web front end written in Lean4

(github.com)

3 points | by JacobAsmuth 13 hours ago ago

No comments yet.