r
/
bookshelf
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Initialize lean project.

finite-set-exercises
Joshua Potter 2023-02-05 08:45:51 -07:00
parent 0f128caef6
commit f422314e61
2 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.gitignore vendored Normal file
View File

@ -0,0 +1,3 @@
*.olean
/_target
/leanpkg.path

8
leanpkg.toml Normal file
View File

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