From 0f27a15749bd047912f09469653a83238f86ea0a Mon Sep 17 00:00:00 2001 From: Petri Hienonen Date: Sun, 15 Feb 2026 16:01:38 +0200 Subject: Remove --- Mathematics.lean | 5 ----- 1 file changed, 5 deletions(-) delete mode 100644 Mathematics.lean (limited to 'Mathematics.lean') diff --git a/Mathematics.lean b/Mathematics.lean deleted file mode 100644 index 59508fa..0000000 --- a/Mathematics.lean +++ /dev/null @@ -1,5 +0,0 @@ --- Knowledge Base domain: Mathematics - -opaque Entity : Type -opaque socrates : Philospher -axiom fact_birthYear_socrates : birthYear socrates = 420 -- cgit v1.3-1-g0d28