Derive Macro prove_derive::Prove

#[derive(Prove)]
{
    // Attributes available to this derive:
    #[prove]
}