Comment by agentultra
8 days ago
You’re still going to need people to guide and understand the proofs.
Might as well just learn Agda or Lean. There are good books out there. It’s not as hard as the author suggests. Hard, yes, but there’s no Royal road.
No comments yet
Contribute on Hacker News ↗