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: Jan 08 2026 at 16:33 UTC