isabelle-utp / Circus_Toolkit Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

An extension of the Z Toolkit to support the Circus process language family.

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
Action_Command.thy		Action_Command.thy
Channels_Events.ML		Channels_Events.ML
Channels_Events.thy		Channels_Events.thy
Circus_Toolkit.thy		Circus_Toolkit.thy
README.md		README.md
ROOT		ROOT
Trace_Algebra.thy		Trace_Algebra.thy

Repository files navigation

Circus_Toolkit

An extension of the Z Toolkit to support the Circus process language family.

About

An extension of the Z Toolkit to support the Circus process language family.

Custom properties

Report repository

Releases

No releases published

Packages

No packages published

Languages