Re: [isabelle] “Hilbert and Isabelle” in Spektrum der Wissenschaft (March 2019)

On 01/03/2019 21:56, Chun Tian (binghe) wrote:
> (I purchased a copy of that PDF and saw that 6-pages article, although I don’t understand too much German - have to use dictionaries)

You can try this automated tool:


Attachment: signature.asc
Description: OpenPGP digital signature

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.