HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
Qed: A verified web front end written in Lean4 | Heykuki News
Qed: A verified web front end written in Lean4
github.com/JacobAsmuth
3 points
JacobAsmuth
8 days ago
Add Comment
No comments
Threaded
Loading comments...