wr
hn
Top
New
Best
Ask
Show
Jobs
Back
Comment
Comment by _jayhack_
formal verifiability e.g. vi Lean
parent
_jayhack_
3 months ago
Discussion
