[isabelle-dev] Gromov Hyperbolicity

Lawrence Paulson lp15 at cam.ac.uk
Thu Jan 18 15:43:16 CET 2018

I'm afraid I've no idea. I didn't study much analysis for my first degree, not even the basics of complex analysis.


> On 18 Jan 2018, at 14:29, Tobias Nipkow <nipkow at in.tum.de> wrote:
> So what is the situation wrt the theories I asked about?

More information about the isabelle-dev mailing list