This project defines a semantics for the Tagged Events Specification Language (TESL) in Isabelle/HOL.
Frédéric Boulanger [email protected]
-
Notifications
You must be signed in to change notification settings - Fork 0
Isabelle/HOL theory for the Tagged Events Specification Language (TESL). See https://wdi.centralesupelec.fr/software/TESL/
Frederic-Boulanger-UPS/TESL
About
Isabelle/HOL theory for the Tagged Events Specification Language (TESL). See https://wdi.centralesupelec.fr/software/TESL/
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published