[isabelle-dev] Isabelle World Map
breitner at kit.edu
Fri Jan 24 17:25:32 CET 2014
Am Freitag, den 24.01.2014, 14:13 +0100 schrieb Makarius:
> On Fri, 24 Jan 2014, Tobias Nipkow wrote:
> > the number of pins is not that impressive
> There is always this unknown variable of actual Isabelle users. We have
> occasionally made some statistics from the server log of the mirror sites,
> to guess the number of downloads. Maybe we should to this again, but I
> don't know how it works.
well, doesn’t Isabelle ship by default with the spy features^W^Wremote
remote solvers enabled for sledgehammer? Assuming that a representative
portion of users use sledgehammer and do not disable these, measuring
those remote requests should give you pretty precise numbers.
And I believe one of them disabled itself for me after heavy use, and
told me that I used up my allowance, so there must already be some
user-tracking and identifying in place (...scary, BTW).
Dipl.-Math. Dipl.-Inform. Joachim Breitner
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 181 bytes
Desc: This is a digitally signed message part
More information about the isabelle-dev