diff --git a/README.md b/README.md
new file mode 100644
index 0000000..96592df
--- /dev/null
+++ b/README.md
@@ -0,0 +1,18 @@
+# logical-foundations
+
+My work and solutions for *Logical Foundations*. I did *most* but not quite all
+of the exercises. In particular, I skipped a couple of the extremely difficult
+and tedious exercises near the end of IndProp, and got a little lazy near the
+end of the book as Coq was starting to make more and more sense to me and
+skipped a couple easy but tedious and unnecessary exercises.
+
+I don't want to publish the solutions anywhere public, but since this is my
+private forgejo instance, I'm not too worried about people finding it. I'm only
+really publishing this as proof that I have worked through *Logical
+Foundations* so I can mention it in my resume.
+
+If you have stumbled across this looking for solutions however, I strongly
+encourage you to do them yourself, even the really hard exercises in IndProp.
+Also, I retyped everything myself rather than use the starter code, so there's
+a nonzero chance it wouldn't work anyway, and is confusing to navigate, not to
+mention potentially incompatible with automated grading systems.