Added the lemmas we needed for my work, and fixed the CI workflow on github actions - Githubissues

isabelle-utp / interaction-trees

Interactions Trees in Isabelle/HOL and a CSP model

6 stars 1 forks source link

Added the lemmas we needed for my work, and fixed the CI workflow on github actions #8

Open lexbailey opened 2 months ago