Theorem proving as a (brain tumor) therapy/distraction

1 points | by fredokun 5 hours ago

1 comments