rename max_derivations to max_components

daviddoret · Aug 13, 2024 · e0cbe36 · e0cbe36
1 parent 18e1ab1
commit e0cbe36
Show file tree

Hide file tree

Showing 9 changed files with 426 additions and 262 deletions.
diff --git a/.idea/workspace.xml b/.idea/workspace.xml
diff --git a/src/punctilious/__pycache__/axiomatic_system_1.cpython-312.pyc b/src/punctilious/__pycache__/axiomatic_system_1.cpython-312.pyc
diff --git a/src/punctilious/__pycache__/constants_1.cpython-312.pyc b/src/punctilious/__pycache__/constants_1.cpython-312.pyc
diff --git a/src/punctilious/__pycache__/propositional_logic_syntax_1.cpython-312.pyc b/src/punctilious/__pycache__/propositional_logic_syntax_1.cpython-312.pyc