Hacker News new | ask | show | jobs
by trukterious 2803 days ago
How about in the process of reading a proof? Each single step is validated by the intuition of the reader.