lakefile.toml - kb - Unnamed repository; edit this file 'description' to name the repository.

about summary refs log tree commit diff stats

path: root/lakefile.toml

blob: 7b8444b1dc76d3917beb0fae38c16e247dfc5aeb (plain) (blame)

name = "kb"
version = "0.1.0"
defaultTargets = ["kb"]

[[lean_lib]]
name = "Kb"

[[lean_exe]]
name = "kb"
root = "Main"