Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] SET protocol


view this post on Zulip Email Gateway (Aug 18 2022 at 16:51):

From: Novio <novio@azet.sk>
Hi,
Is anybody here, who is working with SET protocol ?
Or do you know about any materials that can
help me?

Thanks, Peter

view this post on Zulip Email Gateway (Aug 18 2022 at 16:51):

From: Lawrence Paulson <lp15@cam.ac.uk>
This protocol is quite dead, I'm afraid.

Lawrence C Paulson
Professor of Computational Logic
Computer Laboratory, University of Cambridge
15 JJ Thomson Avenue, Cambridge CB3 0FD, England
Tel: +44(0)1223 334623 Fax: +44(0)1223 334678


Last updated: Nov 21 2024 at 12:39 UTC