Projects in Awesome Lists tagged with logical-relation
A curated list of projects in awesome lists tagged with logical-relation .
https://github.com/yiyunliu/mltt-consistency
Logical relation for predicative CC omega with booleans and an intensional identity type
coq coq-formalization dependent-type-theory dependent-types logical-relation
Last synced: 10 Feb 2025
https://github.com/logsem/vmsl
Verifying FF-A hypercalls using VMSL.
coq ff-a hypercall iris logical-relation robust-safety separation-logic
Last synced: 25 Mar 2025
