diff --git a/CoqCheatSheet.pdf b/CoqCheatSheet.pdf
new file mode 100644
index 0000000..5a07977
Binary files /dev/null and b/CoqCheatSheet.pdf differ
diff --git a/DeepSpec18_TreasureInDetails.pdf b/DeepSpec18_TreasureInDetails.pdf
new file mode 100644
index 0000000..61fdfa4
Binary files /dev/null and b/DeepSpec18_TreasureInDetails.pdf differ