An introduction to go to formal proof verification and your agents

Would you still be able to change the width/angle of the petal. Yes, it's generally accepted that Fermat didn't in fact have a proof, with the tools available to him at the time. But wouldn't it be cool to be able to sell the stock.