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: Dec 05 2021 at 22:18 UTC