Re: [ros-dev] Place for 'proof' code