Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] CTL formalization

Email Gateway (Aug 17 2022 at 13:28):

From: yongjian Li <lyj238@ios.ac.cn>
Dear all:
who knows who have done some formalization on ctl theo, and the formalized thoery can be downloaded and used?
I note that Isabelle05 have no example theory for CTL, but it exists in Isabelle04.
regards
lyj

Last updated: May 03 2024 at 08:18 UTC