@pruvisto
CS postdoc in Innsbruck. Likes climbing and Esperanto. Gets paid to explain proofs to computers. Mastodon: @pruvisto @graz .social @pruvisto @esperanto .masto.host
No tweets found