repos / temple.lean4.git

lakefile.toml

 1name = "temple"
 2defaultTargets = ["Temple"]
 3
 4[[require]]
 5name = "batteries"
 6git = "https://github.com/leanprover-community/batteries"
 7rev = "bump/nightly-2025-08-19"
 8
 9[[require]]
10name = "UnicodeBasic"
11git = "https://github.com/fgdorais/lean4-unicode-basic"
12rev = "main"
13
14[[require]]
15name = "Parser"
16git = "https://github.com/fgdorais/lean4-parser"
17rev = "main"
18
19[[lean_lib]]
20name = "Temple"
21