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



On 28/02/2019 16:13, Makarius wrote:
> Dear German-speaking Isabelle users,
> 
> see this blog entry about the current issue of "Spektrum der
> Wissenschaft 3.19":
> https://sketis.net/2019/hilbert-and-isabelle-in-spektrum-der-wissenschaft-march-2019
> 
> (The blog entry is in English, the article in German.)

Also note that the full article needs to be paid for (and it is not
cheap). Only the initial blurp is free on the web.

Germans can go to a local bookstore and browse through the physical
magazine.


	Makarius





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