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_rs .

Repository navigation

SepLogFrag

Public

Notifications
Fork (0)
Star (1)

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 .

Activity

1 star

1 watching

Name		Name	Last commit message	Last commit date
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 .

Activity

1 star

1 watching

0 forks

Report repository

Navigation Menu

Repository navigation

About

About

Contributors

Languages

Latest commit

History

Folders and files

About

Stars

Watchers

Forks

Contributors

Languages