Forum for HOL Light questions, collaborations etc

[brando90]

What is the best way to communicate questions and collaborations for HOL Light?

For example Coq has:

• discourse: https://coq.discourse.group/
• gitter: https://gitter.im/ejgallego

Does HOL Light have something like this?

Or just stackoverflow?

[PetrosPapapa]

The hol-info mailing list is a good place to ask questions for HOL Light (among other HOL systems).

[brando90]

@PetrosPapapa why is there no discourse or gitter or slack or something like that?

Is it even worth asking in Stack Overflow for HOL Light?

[PetrosPapapa]

@brando90 HOL Light is not as popular or as actively developed as Coq. I guess it's a small community and we are all used to the (over 20 year old) mailing list. People are quite responsive there though, and @jrh13 checks in periodically too, so it's worth trying.

[brando90]

@PetrosPapapa is that the same list for HOL and HOL Light?

[maggesi]

@PetrosPapapa is that the same list for HOL and HOL Light?

Yes, and for some other variants of the HOL prover actually.

[aqjune]

There is a new Zulip channel: https://hol-light.zulipchat.com/