lakefile.toml

name = "PfsProgs25"
defaultTargets = ["PfsProgs25"]

[leanOptions]
pp.unicode.fun = true

[[require]]
name = "mathlib"
scope = "leanprover-community"
version = "git#v4.19.0-rc3"

[[require]]
name = "LeanAideTools"
git = "https://github.com/siddhartha-gadgil/LeanAideTools.git"
rev = "main"

[[lean_lib]]
name = "PfsProgs25"

[[lean_exe]]
name = "get_type"
supportInterpreter = true

[[lean_exe]]
name = "quicksort"