Hacker News new | ask | show | jobs
by mprast 333 days ago
yes, what i had in mind were more proof sketches than proofs