Pinned Loading

1. isariris isariris Public

   An experimental port of the Iris separation logic framework to Isabelle/HOL. This work is developed as part of a Master's thesis.

   Isabelle 5

2. SepLogFrag 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 .

   Isabelle 1

3. alice_rs alice_rs Public

   Alice_rs is a small proof-of-concept reference implementation of a decision procedure for A Decidable Fragment of Separation Logic.

   Rust 2

4. chalk chalk Public

   Forked from rust-lang/chalk

   An implementation and definition of the Rust trait system using a PROLOG-like logic solver

   Rust

5. kissat-rs kissat-rs Public

   Rust bindings for the Kissat SAT solver.

   Rust 6

6. dqg dqg Public

   Working repository for a research project about Descriptive Quotient Graphs (cf. https://www.ijcai.org/Proceedings/15/Papers/212.pdf).

   Rust 1