Hoare Type Theory

github.comtool

A shallow embedding of sequential separation logic formulated as a type theory.

from

Coq

added

2026-10-10

likes

0

Coq › Projects > Frameworks: “A shallow embedding of sequential separation logic formulated as a type theory.”