From f422314e618b3d7b2a57464f801f885db6131a9a Mon Sep 17 00:00:00 2001
From: Joshua Potter <jrpotter2112@gmail.com>
Date: Sun, 5 Feb 2023 08:45:51 -0700
Subject: [PATCH] Initialize lean project.

---
 .gitignore   | 3 +++
 leanpkg.toml | 8 ++++++++
 2 files changed, 11 insertions(+)
 create mode 100644 .gitignore
 create mode 100644 leanpkg.toml

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"}