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: https://www.deepl.com


	Makarius

Attachment: signature.asc
Description: OpenPGP digital signature



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