Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Move subtask with concrete example to the end, because the subtasks with proofs are to be done _in general_, not only for this example.
- Loading branch information