first theorem implementation

daviddoret · Dec 22, 2024 · 8d949da · 8d949da
1 parent 35df754
commit 8d949da
Show file tree

Hide file tree

Showing 19 changed files with 254 additions and 338 deletions.
diff --git a/.idea/workspace.xml b/.idea/workspace.xml
diff --git a/src/punctilious/__init__.py b/src/punctilious/__init__.py
@@ -18,8 +18,8 @@
 from _interpretation import Interpreter
 import _bundling
 import formula_notations
-import _greek_alphabet_lowercase_serif_italic
-import _greek_alphabet_uppercase_serif_italic
+import greek_alphabet_lowercase_serif_italic
+import greek_alphabet_uppercase_serif_italic
 import latin_alphabet_lowercase_serif_italic
 import latin_alphabet_uppercase_serif_italic
 # import _latin_alphabet_lowercase_serif_roman
@@ -36,11 +36,6 @@
 prefs = _representation.TagsPreferences()
 packages = _bundling.get_packages()
 
-# formula_notations = _formula_notations.FormulaNotations()
-
-greek_alphabet_lowercase_serif_italic = _greek_alphabet_lowercase_serif_italic.GreekAlphabetLowercaseSerifItalic()
-greek_alphabet_uppercase_serif_italic = _greek_alphabet_uppercase_serif_italic.GreekAlphabetUppercaseSerifItalic()
-
 from _declarations import declare_variable, declare_function
 
 # tao_analysis_1_2006 = _tao_analysis_1_2006.TaoAnalysis12006()

diff --git a/src/punctilious/__pycache__/__init__.cpython-312.pyc b/src/punctilious/__pycache__/__init__.cpython-312.pyc
diff --git a/src/punctilious/__pycache__/_formula_notations.cpython-312.pyc b/src/punctilious/__pycache__/_formula_notations.cpython-312.pyc
diff --git a/src/punctilious/__pycache__/_greek_alphabet_lowercase_serif_italic.cpython-312.pyc b/src/punctilious/__pycache__/_greek_alphabet_lowercase_serif_italic.cpython-312.pyc
diff --git a/src/punctilious/__pycache__/_greek_alphabet_uppercase_serif_italic.cpython-312.pyc b/src/punctilious/__pycache__/_greek_alphabet_uppercase_serif_italic.cpython-312.pyc
diff --git a/src/punctilious/__pycache__/formula_notations.cpython-312.pyc b/src/punctilious/__pycache__/formula_notations.cpython-312.pyc
diff --git a/src/punctilious/__pycache__/greek_alphabet_lowercase_serif_italic.cpython-312.pyc b/src/punctilious/__pycache__/greek_alphabet_lowercase_serif_italic.cpython-312.pyc
diff --git a/src/punctilious/__pycache__/greek_alphabet_uppercase_serif_italic.cpython-312.pyc b/src/punctilious/__pycache__/greek_alphabet_uppercase_serif_italic.cpython-312.pyc
diff --git a/src/punctilious/__pycache__/latin_alphabet_lowercase_serif_italic.cpython-312.pyc b/src/punctilious/__pycache__/latin_alphabet_lowercase_serif_italic.cpython-312.pyc
diff --git a/src/punctilious/__pycache__/latin_alphabet_uppercase_serif_italic.cpython-312.pyc b/src/punctilious/__pycache__/latin_alphabet_uppercase_serif_italic.cpython-312.pyc
diff --git a/src/punctilious/_formula_notations.py b/src/punctilious/_formula_notations.py
diff --git a/src/punctilious/_greek_alphabet_lowercase_serif_italic.py b/src/punctilious/_greek_alphabet_lowercase_serif_italic.py
diff --git a/src/punctilious/_greek_alphabet_uppercase_serif_italic.py b/src/punctilious/_greek_alphabet_uppercase_serif_italic.py