Hacker News new | ask | show | jobs
by deterministic 1 day ago
That's a bad analogy. LEAN is a leading bleeding edge proof verification tool.