Y
Hacker News
new
|
ask
|
show
|
jobs
by
euroderf
18 days ago
And TLA+ and Lean say "catch it before you write
any
code".