pl/frap
1
0
Fork 0
mirror of https://github.com/achlipala/frap.git synced 2024-11-28 07:16:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

DeepAndShallowEmbedding_template

Browse source
This commit is contained in:
Adam Chlipala 2016-04-11 08:30:17 -04:00
parent 145bff88c6
commit cf003490a2
2 changed files with 1100 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1099
DeepAndShallowEmbeddings_template.v Normal file
View file

File diff suppressed because it is too large Load diff

1
_CoqProject
View file

@ -22,4 +22,5 @@ AbstractInterpretation.v
LambdaCalculusAndTypeSoundness_template.v LambdaCalculusAndTypeSoundness_template.v
LambdaCalculusAndTypeSoundness.v LambdaCalculusAndTypeSoundness.v
TypesAndMutation.v TypesAndMutation.v
DeepAndShallowEmbeddings_template.v
DeepAndShallowEmbeddings.v DeepAndShallowEmbeddings.v