Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] [Coq-Club] Call for Votes on bids to host ITP-...

Email Gateway (Aug 18 2022 at 14:46):

From: Jasmin Christian Blanchette <jasmin.blanchette@gmail.com>
This address is incorrect; it should be "kaufmann@cs.utexas.edu" (with
a u).

Jasmin

Last updated: Sep 08 2025 at 20:22 UTC