Mathematical reasoning is just reasoning about anything specified formally. Reasoning about anything formal could be a powerful general tool
If you want to change selection, open document below and click on "Move attachment"
pdf
owner:
trevyn - (no access) - Szegedy2020_Chapter_APromisingPathTowardsAutoforma.pdf, p2