Skip to content

Update prove.sh

Update prove.sh #40