CoCalc -- leanpkg.toml

leanprover-community

GitHub Repository: leanprover-community/tutorials
Path: blob/master/leanpkg.toml
²¹² views

1
[package]
2
name = "tuto"
3
version = "0.1"
4
lean_version = "leanprover-community/lean:3.49.1"
5
path = "src/solutions"
6

7
[dependencies]
8
mathlib = {git = "https://github.com/leanprover-community/mathlib", rev = "d4f69d96f3532729da8ebb763f4bc26fcf640f06"}
9

10