From 4b53e65306cdafff989dbfe58cf03311ad325118 Mon Sep 17 00:00:00 2001 From: Hannes Schulze Date: Fri, 12 Jun 2026 19:00:37 +0200 Subject: initial commit --- lakefile.toml | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 lakefile.toml (limited to 'lakefile.toml') 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" -- cgit v1.3.1