G gopiandcode.uk The future of programming with certified program synthesis 84 points tluyben2 5 years ago 92 comments
