Re: [isabelle] Isabelle's jEdit plugin: some known help documents?

More commentary from the cheap seats, but I try to be an Isabelle evangelist, because any big influx of new users would be beneficial to what I want to do in the long run.

First, the market is so untapped, at this point any success by any proof assistant is beneficial to every other proof assistant.

No replies to these kind of comments is a good thing, because I spend too much time doing this kind of thing anyway.

I look at this link for percentage of OS market share:

The percentage of Windows users, as a percentage of the total percentages of Linux, Mac, and Windows users, is 88.7%.

For simplicity, I assume that the potential market for users of proof assistants is broken up the same as OS market share.

And who are these potential users? Potentially, it's every mathematics and computer science university student taking a single class on proof assistants. Potentially, it's the complete integration of all upper level proof-based mathematics courses with proof assistants.

It used to be that most serious software and engineering development was done on Unix, but that's changed. Many or most engineering students, such as electrical and mechanical majors, learn all their tools on Windows. Likewise for physics and mathematics students. Likewise even for a large percentage of information sciences and computer science students.

You go into a university computer lab. They'll be 100 Windows machines, 8 Macs going largely unused, and some server somewhere that a computer science student logs into to complete the requirements for the token Unix based course.

The 11.3%, at this time, can be considered the maximum developer and user base, and the 88.7% is the potential user base that, for all practical purposes, has so far gone untapped.


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