nim-dagger/codex/proving.nim