28 Mar
2025
28 Mar
'25
5:44 p.m.
On 28/03/2025 18:29, Daniil Baturin via polyml wrote:
SourceHut (sr.ht) provides a mailing list service. My experience with it is quite positive.
Thanks for the recommendation, I will try it for a related question: Future of isabelle-users and isabelle-dev mailing list.
Makarius