Re: [isabelle] Survey Paper

Dear Tobias,

On Tue, 20 Oct 2020 at 23:35, Tobias Nipkow <nipkow at> wrote:
> Dear Qian,
> Thank you for your suggestion, it makes a lot of sense. We do in fact have a
> rudimentary internal web page. We will beef it up, make it publicly available
> and encourage people to send us references to new work.

That's really exciting to know, thank you.
Looking forward to upcoming pull requests to the upcoming online survey.

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