diff --git a/descr b/descr
new file mode 100644
index 0000000000000000000000000000000000000000..c5cec51119d896050e3d54ca5efaa1f3d74f907d
--- /dev/null
+++ b/descr
@@ -0,0 +1,2 @@
+A formal model of a Rust core langauge and type system, a logical relation for
+the type system, and safety proof for some Rust libraries.