teddycb/Idempotent_Scenes
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Isabelle Formalisation of Idempotent Scenes and a demonstration that they form a Separation Algebra
2 Commits 1 Branch 0 Tags 130 KiB
TeX 90.5%
Isabelle 9.5%
main
Go to file
teddy d35bdf922b Initial Commit
2025-07-05 18:09:12 +01:00
document Initial Commit 2025-07-05 18:09:12 +01:00
output Initial Commit 2025-07-05 18:09:12 +01:00
Example.thy Initial Commit 2025-07-05 18:09:12 +01:00
Idempotent_Scenes.thy Initial Commit 2025-07-05 18:09:12 +01:00
Idempotent_Scenes.thy~ Initial Commit 2025-07-05 18:09:12 +01:00
LICENSE Initial commit 2025-07-05 16:32:13 +00:00
README.md Initial commit 2025-07-05 16:32:13 +00:00
ROOT Initial Commit 2025-07-05 18:09:12 +01:00

README.md

Idempotent_Scenes

Isabelle Formalisation of Idempotent Scenes and a demonstration that they form a Separation Algebra