From 4b53e65306cdafff989dbfe58cf03311ad325118 Mon Sep 17 00:00:00 2001 From: Hannes Schulze Date: Fri, 12 Jun 2026 19:00:37 +0200 Subject: initial commit --- SymbolicModalLogic.lean | 0 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 SymbolicModalLogic.lean (limited to 'SymbolicModalLogic.lean') diff --git a/SymbolicModalLogic.lean b/SymbolicModalLogic.lean new file mode 100644 index 0000000..e69de29 -- cgit v1.3.1