Initial commit

linesthatinterlace · Apr 5, 2022 · 6f0c0ee · 6f0c0ee
commit 6f0c0ee
Show file tree

Hide file tree

Showing 3 changed files with 450 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -0,0 +1,3 @@
+*.olean
+/_target
+/leanpkg.path
diff --git a/leanpkg.toml b/leanpkg.toml
@@ -0,0 +1,8 @@
+[package]
+name = "goppadecoding"
+version = "0.1"
+lean_version = "leanprover-community/lean:3.42.1"
+path = "src"
+
+[dependencies]
+mathlib = {git = "https://github.com/leanprover-community/mathlib", rev = "b189be76bb6b8b36913ea04ec1c135f1786c7e1f"}