Skip to content
Snippets Groups Projects
Commit 342b275c authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

Note about CPP files.

parent 65c1292d
No related branches found
No related tags found
No related merge requests found
Pipeline #34464 passed
Hide whitespace changes
Inline Side-by-side
Showing
with 6 additions and 0 deletions
papers/CPP21.md
+ 6
− 0
View file @ 342b275c
# Code corresponding to the paper
All code corresponding to the paper can be found in the directory
[theories/logrel](../theories/logrel). The file [README.md](../README.md)
contains an overview of the files in that directory.
# Differences between the paper and the mechanisation # Differences between the paper and the mechanisation
- The semantic encoding of ground types use existential quantification in the - The semantic encoding of ground types use existential quantification in the
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment