GitHub - firefighterduck/SepLogFrag: Formalisation of the Decidable Fragment of Separation Logic. Submission for a homework contest. Supposed to work with Isabelle2020. Related to https://github.com/firefighterduck/alice

firefighterduck / SepLogFrag Public

Formalisation of the Decidable Fragment of Separation Logic. Submission for a homework contest. Supposed to work with Isabelle2020. Related to https://github.com/firefighterduck/alice_rs .

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
basic_theory		basic_theory
decision_procedure		decision_procedure
document		document
example		example
.gitignore		.gitignore
ROOT		ROOT
Sep_Log_Frag.thy		Sep_Log_Frag.thy

About

Formalisation of the Decidable Fragment of Separation Logic. Submission for a homework contest. Supposed to work with Isabelle2020. Related to https://github.com/firefighterduck/alice_rs .