diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..1cb9f3c
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,3 @@
+*.olean
+/_target
+/leanpkg.path
diff --git a/leanpkg.toml b/leanpkg.toml
new file mode 100644
index 0000000..17b4e4c
--- /dev/null
+++ b/leanpkg.toml
@@ -0,0 +1,8 @@
+[package]
+name = "bookshelf"
+version = "0.1"
+lean_version = "leanprover-community/lean:3.50.3"
+path = "src"
+
+[dependencies]
+mathlib = {git = "https://github.com/leanprover-community/mathlib", rev = "4c19a16e4b705bf135cf9a80ac18fcc99c438514"}