Hacker News new | past | comments | ask | show | jobs | submit
dinogo | on: AlphaProof Code
I feel that paradigms like this, is going to be the standard going forward.