Hacker Newsnew | past | comments | ask | show | jobs | submit | JacobAsmuth's submissions login

1. Qed: A verified web front end written in Lean4 (github.com/jacobasmuth) 3 points by JacobAsmuth 89 days ago | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: