Add test project
Merge branch 'proof' of github.com:losttime/cooper into proof