Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] New in the AFP: The Chandy--Lamport Distribute...

view this post on Zulip Email Gateway (Aug 04 2020 at 11:49):

From: Lawrence Paulson <>
We have a new entry by Ben Fiedler and Dmitriy Traytel:

It’s online at

Keep them coming, guys! It’s a better displacement activity than baking bread...

Larry Paulson

Last updated: Jan 25 2022 at 02:35 UTC