FormalTheory
FormalTheory copied to clipboard
Apply PSR-2 and PSR-4