alt
Hacker News
euroderf
•
today at 4:03 AM
•
0 replies
•
view on HN
And TLA+ and Lean say "catch it before you write
any
code".
alt Hacker News