List view
logics\classes\propositional\proof_theories\tableaux.py
- 151 Complexity
- 5.59 Complexity / M
- 0 Duplication
- 20 Churn
- 1110 Lines
- 944 Lines of Code
- 27 Methods
- 34.96 LOC / Method
{{getIssueFilterCount()}}
Autofix is being processed.
Sort issues by weight
See most recent first
Create group issue on {{Issues[0].ProviderName}}
Create group comment on {{Issues[0].ProviderName}}
No issues found
“
If you're good at the debugger it means you spent a lot of time debugging. I don't want you to be good at the debugger.
