Logical relation for predicative CC omega with booleans and an intensional identity type
-
Updated
Apr 22, 2025 - TeX
#
logical-relation
Here are 2 public repositories matching this topic...
Verifying FF-A hypercalls using VMSL.
-
Updated
Apr 14, 2023 - Coq
Add this topic to your repo
To associate your repository with the logical-relation topic, visit your repo's landing page and select "manage topics."