2Theorem proving as a (brain tumor) therapy/distraction (opens in new tab)(orcid.org)1fredokun1d ago2