diff options
| author | Hannes Schulze <contact@haschu.me> | 2026-06-12 19:00:37 +0200 |
|---|---|---|
| committer | Hannes Schulze <contact@haschu.me> | 2026-06-12 19:00:37 +0200 |
| commit | 4b53e65306cdafff989dbfe58cf03311ad325118 (patch) | |
| tree | 55b46156769e0fd418e20352a7bb4822dac14f57 /lakefile.toml | |
initial commit
Diffstat (limited to 'lakefile.toml')
| -rw-r--r-- | lakefile.toml | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/lakefile.toml b/lakefile.toml new file mode 100644 index 0000000..d6fcfd6 --- /dev/null +++ b/lakefile.toml @@ -0,0 +1,11 @@ +name = "SymbolicModalLogic" +version = "0.1.0" +defaultTargets = ["SymbolicModalLogic"] + +[[require]] +name = "mathlib" +scope = "leanprover-community" +rev = "v4.30.0" + +[[lean_lib]] +name = "SymbolicModalLogic" |