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