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