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: Feb 01 2025 at 20:19 UTC