List view
A

Mathlogic_4semester\Sequent_Calculus\Solver.cpp

No issues found

One of my most productive days was throwing away 1000 lines of code.

– Ken Thompson