Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] 回复: The development of a large proof script.


view this post on Zulip Email Gateway (Aug 19 2022 at 17:10):

From: Christian Sternagel <c.sternagel@gmail.com>
Dear lyj238,

Yes I have received your response. And I would appreciate if all
corresponding discussion would go through the isabelle mailing list
(instead of private email to me or others). This way, answers will be
archived and can be referenced later if similar questions arise again.

Having said that -- at least for me -- reminders about pending threads
on the mailing list will not speed up my answering. When I have time to
read and think about a question and come up with an answer I deem
useful, I will respond. Not before ;)

cheers

chris


Last updated: Mar 29 2024 at 12:28 UTC