Theorem proving as a (brain tumor) therapy/distraction

(orcid.org)

1 points | by fredokun 4 hours ago ago

1 comments