Theorem proving as a (brain tumor) therapy/distraction

1 comments

• fredokun 1 hour 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.