Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2017-05-20

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
00:11 ertes joined #isabelle
01:48 ilbot3 joined #isabelle
01:48 Topic for #isabelle is now Official channel for the Isabelle/HOL theorem prover: http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html || Now with logging: http://irclog.perlgeek.de/isabelle/
11:09 hazyPurple joined #isabelle
18:08 chindy /join #dunst
18:09 chindy woops
18:18 chindy Is there actually any reason why there are so few people on the Isabelle/IRC ? Are there other "communities" or is Isabelles userbase just that small ?
18:36 int-e there's a stack overflow community (or so I hear)
18:40 fds And here I am thinking that the Isabelle community is huge, compared to other theorem provers!  (Second only to Coq, I guess?)
18:41 int-e HOL would be biggest if it weren't so fragmented? I don't really know.
21:49 pruvisto Is Coq really bigger than Isabelle?
21:49 pruvisto Might well be, I'm not sure.
21:50 pruvisto chindy: I think the majority of Isabelle users just write on the mailing list when they have a problem
23:02 tautologico right now #coq has 119 users

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | summary