Hacker News new | ask | show | jobs
by eru 1 day ago
Are you programming in Fortran?
1 comments
deterministic 1 day ago
That's a bad analogy. LEAN is a leading bleeding edge proof verification tool.
link