Theorem proving as a (brain tumor) therapy/distraction (opens in new tab)

(orcid.org)

1 pointsfredokun1d ago1 comments

1 comments

I am a computer scientist with glioblastoma. Thanks to innovative treatments (shoutout: Optune) and wonderful family and academic environments, I pursue my happy teaching/research/hacking/theorem-proving adventure.

j / k navigate · click thread line to collapse

1 comments

fredokunOP1d ago

I am a computer scientist with glioblastoma. Thanks to innovative treatments (shoutout: Optune) and wonderful family and academic environments, I pursue my happy teaching/research/hacking/theorem-proving adventure.

j / k navigate · click thread line to collapse