moved files into submission

update README.md

update README.md

Запрос на слияние 'dev' (#1) из dev в master

update README.md

create README.md

create demo/program_proof.txt

create dev/solution.cs

update README.md

create README.md

create demo/program_proof.txt

create dev/solution.cs

create spec/codex.md

Удалил лишние md файлы из scripts