N
Hacker Next
new
past
show
ask
show
jobs
submit
login
▲
From Zero to QED: An informal introduction to formality with Lean 4
(
sdiehl.github.io
)
4 points by
rwosync
5 days ago
|
0 comments
add comment
Rendered at 19:57:49 GMT+0000 (Coordinated Universal Time) with Vercel.