Nitr0-G/A-Program-Synthesis-Primer
This is a translated article into Russian. The original: https://barghouthi.github.io/2017/04/24/synthesis-primer/
HTMLBSD-3-Clause
This is a translated article into Russian. The original: https://barghouthi.github.io/2017/04/24/synthesis-primer/
HTMLBSD-3-Clause