I would start by learning an engine. GoDot appears to be gaining some traction lately and should have plenty of resources available.
Once you are really familiar with how to work with an engine, you’ll be able to knock out those proofs really quickly.
Later, if that engine you’ve started on doesn’t give you what you need, you’ll have the ability to more easily determine what engine would work best for your needs.