Theorem proving as a (brain tumor) therapy/distraction

(orcid.org) by fredokun | May 13, 2026 | 1 comments on HN