documentation #195 + inference validation #126

daviddoret · Sep 28, 2023 · 1a3aa8a · 1a3aa8a
1 parent 3a5394c
commit 1a3aa8a
Show file tree

Hide file tree

Showing 6 changed files with 277 additions and 216 deletions.
diff --git a/.idea/workspace.xml b/.idea/workspace.xml
diff --git a/src/punctilious/__init__.py b/src/punctilious/__init__.py
@@ -34,8 +34,8 @@
     PunctiliousException, QuasiQuotation, Relation, rep_two_columns_proof_item, SansSerifBold, \
     SansSerifNormal, ScriptNormal, SerifBoldItalic, SerifItalic, SerifNormal, SimpleObjct, \
     SimpleObjctDict, Statement, Subscript, subscriptify, SymbolicObject, text_styles, TextStyle, \
-    TheoreticalObject, TheoryElaborationSequence, Package, UniverseOfDiscourse, validate_formula, \
-    validate_formula_statement, VariableSubstitutionDeclaration, VariableSubstitutionInclusion
+    TheoreticalObject, TheoryElaborationSequence, Package, UniverseOfDiscourse, verify_formula, \
+    verify_formula_statement, VariableSubstitutionDeclaration, VariableSubstitutionInclusion
 
 # from foundation_system_1 import foundation_system_1, ft, u