example: use the experimental cbv_decide tactic to check if a number is a prime power#178
Draft
wkrozowski wants to merge 2 commits intoleanprover-community:nightly-testingfrom
Draft
cbv_decide tactic to check if a number is a prime power#178