master
init autotests
upload proofs
update dev/solution.cs
create spec/codex.md
Initial commit
docs: add contribution variant for branch refs/heads/vetka
create README.md